- Timestamp:
- 2019-05-20T01:27:46+02:00 (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/sources/SourcePrefHelper.java
r12846 r15099 9 9 import java.util.Map; 10 10 import java.util.Set; 11 import java.util.stream.Collectors; 11 12 12 13 import org.openstreetmap.josm.spi.preferences.Config; … … 89 90 90 91 private List<Map<String, String>> serializeList(Collection<? extends SourceEntry> entries) { 91 List<Map<String, String>> setting = new ArrayList<>(entries.size()); 92 for (SourceEntry e : entries) { 93 setting.add(serialize(e)); 94 } 95 return setting; 92 return new ArrayList<>(entries).stream().map(this::serialize).collect(Collectors.toList()); 96 93 } 97 94
Note:
See TracChangeset
for help on using the changeset viewer.