Changeset 6069 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2013-07-17T00:01:07+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r6054 r6069 1346 1346 // Workaround to fix another Java bug 1347 1347 // Force Java 7 to use old sorting algorithm of Arrays.sort (fix #8712). 1348 // See Oracle bug database: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7075600 1348 // See Oracle bug database: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7075600 1349 1349 // and http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6923200 1350 1350 if (Main.pref.getBoolean("jdk.Arrays.useLegacyMergeSort", !Version.getInstance().isLocalBuild())) { … … 1352 1352 } 1353 1353 } 1354 1354 1355 1355 private void updateSystemProperty(String key, String value) { 1356 1356 if (value != null) { … … 1655 1655 if (b==null) return false; 1656 1656 if (a==b) return true; 1657 1658 if (a instanceof StringSetting) 1657 1658 if (a instanceof StringSetting) 1659 1659 return (a.getValue().equals(b.getValue())); 1660 1660 if (a instanceof ListSetting) {
Note:
See TracChangeset
for help on using the changeset viewer.