Changeset 15851 in josm for trunk/src/org/openstreetmap/josm/gui/autofilter

Timestamp:

2020-02-14T12:45:34+01:00 (4 years ago)

Author:

Don-vip

Message:

fix recent spotbugs/checkstyle/javadoc issues

File:

• trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java

@@ -204 +204 @@
     }
 
-    private NavigableSet<Integer> getNumericValues() {
+    private synchronized NavigableSet<Integer> getNumericValues() {
         DataSet ds = MainApplication.getLayerManager().getActiveDataSet();
         if (ds == null) {