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

trunk/src/org/openstreetmap/josm/gui/widgets/FilterField.java

@@ -87 +87 @@
                     expr = expr.replace("+", "\\+");
                     // split search string on whitespace, do case-insensitive AND search
-                    List<RowFilter<Object, Object>> andFilters = Arrays.stream(expr.split("\\s+"))
+                    List<RowFilter<Object, Object>> andFilters = Arrays.stream(expr.split("\\s+", -1))
                             .map(word -> RowFilter.regexFilter("(?i)" + word))
                             .collect(Collectors.toList());