Changeset 6617 in josm for trunk/src/org/openstreetmap/josm/data
- Timestamp:
- 2014-01-03T23:05:54+01:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r6599 r6617 1261 1261 // Workaround to fix a Java bug. 1262 1262 // Force AWT toolkit to update its internal preferences (fix #3645). 1263 // This ugly hack comes from Sun bug database: http ://bugs.sun.com/bugdatabase/view_bug.do?bug_id=62927391263 // This ugly hack comes from Sun bug database: https://bugs.openjdk.java.net/browse/JDK-6292739 1264 1264 try { 1265 1265 Field field = Toolkit.class.getDeclaredField("resources"); … … 1271 1271 // Workaround to fix another Java bug 1272 1272 // Force Java 7 to use old sorting algorithm of Arrays.sort (fix #8712). 1273 // See Oracle bug database: http ://bugs.sun.com/bugdatabase/view_bug.do?bug_id=70756001274 // and http ://bugs.sun.com/bugdatabase/view_bug.do?bug_id=69232001273 // See Oracle bug database: https://bugs.openjdk.java.net/browse/JDK-7075600 1274 // and https://bugs.openjdk.java.net/browse/JDK-6923200 1275 1275 if (Main.pref.getBoolean("jdk.Arrays.useLegacyMergeSort", !Version.getInstance().isLocalBuild())) { 1276 1276 updateSystemProperty("java.util.Arrays.useLegacyMergeSort", "true");
Note:
See TracChangeset
for help on using the changeset viewer.