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???