Originariamente inviato da TotalNoob
Devo rinominare il file, ho provato la funzione predefinita in Java renameTo:
codice:
File f = new File("WorkBench/"+Old.getText()+".txt");
f.renameTo(new File("WorkBench/"+New.getText()+".txt"));
ma non sucede niente... Il programma si lancia non da nessun errore ma non funziona, forse ho sbagliato da qualche parte???
La documentazione di renameTo descrive bene il fatto che renameTo è "critico":

Many aspects of the behavior of this method are inherently platform-dependent:

The rename operation might not be able to move a file from one filesystem to another,
Non è questo il tuo caso visto che è sullo stesso file-system

it might not be atomic
Non è questo il tuo caso

it might not succeed if a file with the destination abstract pathname already exists
Potrebbe essere questo, il nuovo file esiste gia?

Inoltre se il file da rinominare è lockato da un altro processo sicuramente fallisce (perlomeno su Windows).