Index: /trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 930)
+++ /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 931)
@@ -182,5 +182,5 @@
 	}
 
-	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)