Changeset 14827 in josm

Timestamp:

2019-03-03T10:43:02+01:00 (6 years ago)

Author:

GerdP

Message:

see #17327: work around to allow SortedMap in MapListSetting

File:

• trunk/src/org/openstreetmap/josm/spi/preferences/MapListSetting.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/spi/preferences/MapListSetting.java

@@ -7 +7 @@
 import java.util.List;
 import java.util.Map;
+import java.util.SortedMap;
 
 /**
@@ -41 +42 @@
             throw new IllegalArgumentException("Error: Null as list element in preference setting");
         for (Map<String, String> map : value) {
-            if (map.containsKey(null))
+            if (!(map instanceof SortedMap) && map.containsKey(null))
                 throw new IllegalArgumentException("Error: Null as map key in preference setting");
             if (map.containsValue(null))