Changeset 18025 in josm

Timestamp:

2021-07-15T01:43:08+02:00 (3 years ago)

Author:

Don-vip

Message:

improve stream - might be the cause of random CME seen with Java 17/18 when running PluginPreferenceTest.testAddGui

See ​https://github.com/openstreetmap/josm/runs/3070519001

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java

@@ -140 +140 @@
     public List<PluginInformation> getSelectedPlugins() {
         return availablePlugins.stream()
-                .filter(pi -> selectedPluginsMap.get(pi) != null)
-                .filter(selectedPluginsMap::get)
+                .filter(pi -> selectedPluginsMap.get(pi) == Boolean.TRUE)
                 .collect(Collectors.toList());
     }