Changeset 6946 in josm for trunk/src/org
- Timestamp:
- 2014-03-29T18:36:17+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r6941 r6946 19 19 import java.lang.reflect.Field; 20 20 import java.util.ArrayList; 21 import java.util.Arrays;22 21 import java.util.Collection; 23 22 import java.util.Collections; … … 1279 1278 // Ignore all exceptions 1280 1279 } 1280 // Workaround to fix a Java "feature" 1281 // See http://stackoverflow.com/q/7615645/2257172 and #9875 1282 updateSystemProperty("jsse.enableSNIExtension", "false"); 1281 1283 // Workaround to fix another Java bug 1282 1284 // Force Java 7 to use old sorting algorithm of Arrays.sort (fix #8712).
Note:
See TracChangeset
for help on using the changeset viewer.