Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 6944)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 6946)
@@ -19,5 +19,4 @@
 import java.lang.reflect.Field;
 import java.util.ArrayList;
-import java.util.Arrays;
 import java.util.Collection;
 import java.util.Collections;
@@ -1279,4 +1278,7 @@
             // Ignore all exceptions
         }
+        // Workaround to fix a Java "feature"
+        // See http://stackoverflow.com/q/7615645/2257172 and #9875
+        updateSystemProperty("jsse.enableSNIExtension", "false");
         // Workaround to fix another Java bug
         // Force Java 7 to use old sorting algorithm of Arrays.sort (fix #8712).