Changeset 33673 in osm for applications/editors/josm/plugins/wikipedia/src/org/wikipedia/io/WikosmDownloadReader.java

Timestamp:

2017-09-26T01:28:38+02:00 (7 years ago)

Author:

donvip

Message:

update to JOSM 12900

File:

• applications/editors/josm/plugins/wikipedia/src/org/wikipedia/io/WikosmDownloadReader.java (modified) (2 diffs)

applications/editors/josm/plugins/wikipedia/src/org/wikipedia/io/WikosmDownloadReader.java

@@ -7 +7 @@
 import org.openstreetmap.josm.data.coor.LatLon;
 import org.openstreetmap.josm.data.osm.*;
-import org.openstreetmap.josm.data.preferences.CollectionProperty;
+import org.openstreetmap.josm.data.preferences.ListProperty;
 import org.openstreetmap.josm.data.preferences.StringProperty;
 import org.openstreetmap.josm.gui.progress.ProgressMonitor;
@@ -51 +51 @@
 //    public static final ListProperty WIKOSM_SERVER_HISTORY = new ListProperty("download.wikosm.servers",
 //            Arrays.asList("http://88.99.164.208/bigdata/namespace/wdq/sparql"));
-    public static final CollectionProperty WIKOSM_SERVER_HISTORY = new CollectionProperty("download.wikosm.servers",
+    public static final ListProperty WIKOSM_SERVER_HISTORY = new ListProperty("download.wikosm.servers",
             Arrays.asList("http://88.99.164.208/bigdata/namespace/wdq/sparql"));