Renaming files using Java

Right now I have a pdf file which I have imported into my project and I want to change its name. To be more specific, I don’t want to create a file object and rename that, I want to rename the actual pdf file.

https://replit.com/@EdwardHalley_Go/FF-Titler

Maybe I’m misunderstanding your question, but can’t you just click the little stack of circles to the right of the files name and click “rename”?