Changeset 15736 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/changeset

Timestamp:

2020-01-19T23:02:13+01:00 (4 years ago)

Author:

simon04

Message:

Java 8: simplify Stream API usage

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/changeset/query/UrlBasedQueryPanel.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/dialogs/changeset/query/UrlBasedQueryPanel.java

@@ -92 +92 @@
                 + "<p><strong>" + tr("Examples") + "</strong></p>"
                 + "<ul>"
-                + String.join("", getExamples().stream().map(
-                        s -> "<li><a href=\""+s+"\">"+s+"</a></li>").collect(Collectors.toList()))
+                + getExamples().stream()
+                        .map(s -> "<li><a href=\""+s+"\">"+s+"</a></li>")
+                        .collect(Collectors.joining(""))
                 + "</ul>"
                 + tr("Note that changeset queries are currently always submitted to ''{0}'', regardless of the "