Changeset 16643 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java

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/plugins/PluginInformation.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -307 +307 @@
         String classPath = attr.getValue(Attributes.Name.CLASS_PATH);
         if (classPath != null) {
-            for (String entry : classPath.split(" ")) {
+            for (String entry : classPath.split(" ", -1)) {
                 File entryFile;
                 if (new File(entry).isAbsolute() || file == null) {
@@ -510 +510 @@
     public boolean matches(String filter) {
         if (filter == null) return true;
-        String[] words = filter.split("\\s+");
+        String[] words = filter.split("\\s+", -1);
         for (String word: words) {
             if (matches(word, name)
@@ -556 +556 @@
         List<String> requiredPlugins = new ArrayList<>();
         if (pluginList != null) {
-            for (String s : pluginList.split(";")) {
+            for (String s : pluginList.split(";", -1)) {
                 String plugin = s.trim();
                 if (!plugin.isEmpty()) {