Changeset 16643 in josm for trunk/src/org/openstreetmap/josm/io/session/SessionReader.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/io/session/SessionReader.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/session/SessionReader.java

@@ -487 +487 @@
                     String depStr = e.getAttribute("depends");
                     if (!depStr.isEmpty()) {
-                        for (String sd : depStr.split(",")) {
+                        for (String sd : depStr.split(",", -1)) {
                             Integer d = null;
                             try {