Changeset 931 in josm for trunk/src

Timestamp:

2008-09-07T13:47:28+02:00 (16 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)