Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 1158)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 1159)
@@ -469,5 +469,5 @@
 				sysProp.put("proxyPassword", get(ProxyPreferences.PROXY_PASS));
 			}
-		} else {
+		}/* else {
 			sysProp.put("proxySet", "false");
 			sysProp.remove("http.proxyHost");
@@ -475,5 +475,5 @@
 			sysProp.remove("proxyUser");
 			sysProp.remove("proxyPassword");
-		}
+		}*/
 		System.setProperties(sysProp);
 	}