Changeset 16436 in josm for trunk/src/org/openstreetmap/josm/data/Version.java

Timestamp:

2020-05-17T12:08:17+02:00 (4 years ago)

Author:

simon04

Message:

see #19251 - Java 8: use Stream

File:

• trunk/src/org/openstreetmap/josm/data/Version.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/data/Version.java

@@ -6 +6 @@
 import java.io.IOException;
 import java.io.InputStream;
-import java.util.Map.Entry;
 import java.util.Optional;
 import java.util.Properties;
+import java.util.stream.Collectors;
 
 import org.openstreetmap.josm.tools.LanguageInfo;
@@ -94 +94 @@
         // the revision info
         //
-        StringBuilder sb = new StringBuilder();
-        for (Entry<Object, Object> property: properties.entrySet()) {
-            sb.append(property.getKey()).append(':').append(property.getValue()).append('\n');
-        }
-        releaseDescription = sb.toString();
+        releaseDescription = properties.entrySet().stream()
+                .map(property -> property.getKey() + ":" + property.getValue() + "\n")
+                .collect(Collectors.joining());
     }