Ignore:
Timestamp:
2020-01-19T23:02:13+01:00 (6 years ago)
Author:
simon04
Message:

Java 8: simplify Stream API usage

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/layer/GpxLayer.java

    r15646 r15736  
    305305        if (Logging.isDebugEnabled() && !data.getLayerPrefs().isEmpty()) {
    306306            info.append("<br><br>")
    307                 .append(String.join("<br>", data.getLayerPrefs().entrySet().stream()
    308                         .map(e -> e.getKey() + "=" + e.getValue()).collect(Collectors.toList())));
     307                .append(data.getLayerPrefs().entrySet().stream()
     308                        .map(e -> e.getKey() + "=" + e.getValue())
     309                        .collect(Collectors.joining("<br>")));
    309310        }
    310311
Note: See TracChangeset for help on using the changeset viewer.