Changeset 18986 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2024-02-15T16:06:37+01:00 (13 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/PlatformHook.java
r18985 r18986 414 414 final StringBuilder missingArguments = new StringBuilder(); 415 415 for (String arg : expectedJvmArguments) { 416 if ( !vmArguments.contains(arg)) {416 if (vmArguments.stream().noneMatch(s -> s.contains(arg))) { 417 417 if (missingArguments.length() > 0) { 418 418 missingArguments.append("<br>");
Note:
See TracChangeset
for help on using the changeset viewer.