Index: /trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 12842)
+++ /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 12843)
@@ -59,4 +59,5 @@
 import org.openstreetmap.josm.data.preferences.BooleanProperty;
 import org.openstreetmap.josm.data.preferences.ColorProperty;
+import org.openstreetmap.josm.data.preferences.DoubleProperty;
 import org.openstreetmap.josm.data.preferences.IPreferences;
 import org.openstreetmap.josm.data.preferences.IntegerProperty;
@@ -1197,5 +1198,5 @@
      * @param value A list of key/value maps
      * @return <code>true</code> if the value was changed
-     * @see #getListOfMaps(String, Collection)
+     * @see #getListOfMaps(java.lang.String, java.util.List)
      * @deprecated use {@link IPreferences#putListOfMaps(java.lang.String, java.util.List)}
      */
Index: /trunk/src/org/openstreetmap/josm/data/preferences/AbstractPreferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/preferences/AbstractPreferences.java	(revision 12842)
+++ /trunk/src/org/openstreetmap/josm/data/preferences/AbstractPreferences.java	(revision 12843)
@@ -110,5 +110,5 @@
      * @return {@code true}, if something has changed (i.e. value is different than before)
      */
-    public abstract boolean putSetting(final String key, Setting<?> setting);
+    public abstract boolean putSetting(String key, Setting<?> setting);
 
     /**
Index: /trunk/src/org/openstreetmap/josm/data/preferences/IPreferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/preferences/IPreferences.java	(revision 12842)
+++ /trunk/src/org/openstreetmap/josm/data/preferences/IPreferences.java	(revision 12843)
@@ -61,5 +61,5 @@
     }
 
-   /**
+    /**
      * Set a value for a certain setting.
      * @param key the unique identifier for the setting
@@ -95,5 +95,5 @@
     boolean putBoolean(String key, boolean value);
 
-   /**
+    /**
      * Gets an integer preference
      * @param key The preference key