Ignore:
Timestamp:
2020-05-17T14:18:22+02:00 (4 years ago)
Author:
simon04
Message:

see #19251 - Java 8: use Stream

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/src/org/openstreetmap/josm/gui/conflict/pair/properties/PropertiesMerger.java

    r13130 r16438  
    88import java.util.Arrays;
    99import java.util.List;
     10import java.util.stream.Collectors;
    1011
    1112import javax.swing.AbstractAction;
    … …  
    108109        if (referrers.isEmpty())
    109110            return tr("(none)");
    110         StringBuilder str = new StringBuilder("<html>");
    111         for (OsmPrimitive r: referrers) {
    112             str.append(Utils.escapeReservedCharactersHTML(r.getDisplayName(DefaultNameFormatter.getInstance()))).append("<br>");
    113         }
    114         str.append("</html>");
    115         return str.toString();
     111        return referrers.stream()
     112                .map(r -> Utils.escapeReservedCharactersHTML(r.getDisplayName(DefaultNameFormatter.getInstance())) + "<br>")
     113                .collect(Collectors.joining("", "<html>", "</html>"));
    116114    }
    117115
Note: See TracChangeset for help on using the changeset viewer.