Changeset 16643 in josm for trunk/src/org/openstreetmap/josm/gui/preferences

Timestamp:

2020-06-14T20:19:59+02:00 (4 years ago)

Author:

simon04

Message:

see #19334 - ​https://errorprone.info/bugpattern/StringSplitter

File:

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

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

@@ -511 +511 @@
 
         private void activatePlugins(JTextArea textField, boolean deleteNotInList) {
-            String[] lines = textField.getText().split("\n");
+            String[] lines = textField.getText().split("\n", -1);
             List<String> toActivate = new ArrayList<>();
             List<String> notFound = new ArrayList<>();