Changeset 931 in josm

Timestamp:

Sep 7, 2008 1:47:28 PM (5 years ago)

Author:

stoecker

Message:

minor fix

File:

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

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

@@ -182 +182 @@
         }
 
-        synchronized public void put(final String key, final String value) {
+        synchronized public void put(final String key, String value) {
                 String oldvalue = properties.get(key);
                 if(value != null && value.length() == 0)