从http://exampledepot.8waytrips.com/egs/java.io/RenameFile.html复制
// File (or directory) with old nameFile file = new File("oldname");// File (or directory) with new nameFile file2 = new File("newname");if (file2.exists()) throw new java.io.IOException("file exists");// Rename file (or directory)boolean success = file.renameTo(file2);if (!success) { // File was not successfully renamed}追加到新文件:
java.io.FileWriter out= new java.io.FileWriter(file2, true );



