Changeset 15717 in josm for trunk/src/org/openstreetmap/josm/data/projection/Projections.java

Timestamp:

2020-01-18T14:14:01+01:00 (6 years ago)

Author:

simon04

Message:

Java 8: use Collectors.joining

File:

• trunk/src/org/openstreetmap/josm/data/projection/Projections.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/data/projection/Projections.java

@@ -17 +17 @@
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
+import java.util.stream.Collectors;
 
 import org.openstreetmap.josm.data.projection.datum.Datum;
@@ -44 +45 @@
 import org.openstreetmap.josm.tools.JosmRuntimeException;
 import org.openstreetmap.josm.tools.Logging;
-import org.openstreetmap.josm.tools.Utils;
 
 /**
@@ -407 +407 @@
 
     private static String listKeys(Map<String, ?> map) {
-        List<String> keys = new ArrayList<>(map.keySet());
-        Collections.sort(keys);
-        return Utils.join(", ", keys);
+        return map.keySet().stream()
+                .sorted()
+                .collect(Collectors.joining(", "));
     }