Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 14013)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 14014)
@@ -783,5 +783,5 @@
      */
     private void removeObsolete(int loadedVersion) {
-        Logging.trace("Remove obsolete preferences for version {}", loadedVersion);
+        Logging.trace("Remove obsolete preferences for version {0}", Integer.toString(loadedVersion));
         for (String key : OBSOLETE_PREF_KEYS) {
             if (settingsMap.containsKey(key)) {