Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 4564)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 4565)
@@ -555,8 +555,5 @@
                     JOptionPane.ERROR_MESSAGE
             );
-            if (backupFile.exists()) {
-                backupFile.delete();
-            }
-            preferenceFile.renameTo(backupFile);
+            Main.platform.rename(preferenceFile, backupFile);
             try {
                 resetToDefault();