Changeset 4933 in josm

Timestamp:

2012-02-14T21:31:44+01:00 (12 years ago)

Author:

stoecker

Message:

fix last checkin

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -334 +334 @@
     }
 
- /*   @Deprecated
+    @Deprecated
     synchronized public boolean hasKey(final String key) {
         return properties.containsKey(key);
-    }*/
+    }
 
     /**