Originariamente inviato da Azzurra85
Voglio che dato un file lo vorrei ridefinire affinchè abbia l'estensione che decido io!
renameTo(File dest) di java.io.File.