Changeset 12843 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

2017-09-13T17:05:45+02:00 (7 years ago)

Author:

bastiK

Message:

see #15229 - minor fixes (Jenkins)

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (2 diffs)

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

@@ -59 +59 @@
 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 +1198 @@
      * @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)}
      */