void configureProxy() { if (Prefs.useSystemProxies) { try { System.setProperty("java.net.useSystemProxies", "true"); } catch (Exception e) { } } else { String server = Prefs.get("proxy.server", null); if (server == null || server.equals("")) return; int port = (int) Prefs.get("proxy.port", 0); if (port == 0) return; Properties props = System.getProperties(); props.put("proxySet", "true"); props.put("http.proxyHost", server); props.put("http.proxyPort", "" + port); } // new ProxySettings().logProperties(); }