Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 4932)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 4933)
@@ -334,8 +334,8 @@
     }
 
- /*   @Deprecated
+    @Deprecated
     synchronized public boolean hasKey(final String key) {
         return properties.containsKey(key);
-    }*/
+    }
 
     /**