Changeset 11553 in josm for trunk/src/org/openstreetmap/josm/data/preferences/PreferencesWriter.java
- Timestamp:
- 2017-02-12T16:32:18+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/PreferencesWriter.java
r10824 r11553 6 6 import java.util.List; 7 7 import java.util.Map; 8 import java.util.Optional; 8 9 import java.util.stream.Stream; 9 10 … … 68 69 private void addTime(Setting<?> setting) { 69 70 if (defaults) { 70 Long time = setting.getTime(); 71 if (time == null) 72 throw new IllegalStateException(); 73 out.write("' time='" + time); 71 out.write("' time='" + Optional.ofNullable(setting.getTime()).orElseThrow(IllegalStateException::new)); 74 72 } 75 73 }
Note:
See TracChangeset
for help on using the changeset viewer.