synchronized static public void setHttpsProxy(String proxy, int proxyport) { _httpsProxy = proxy; _httpsProxyPort = proxyport;
static public void setHttpsProxy(String proxy, int proxyport) { String prop = "WebScarab.httpsProxy"; String value = proxy + ":" + Integer.toString(proxyport); _props.setProperty(prop, value);
    synchronized static public void setHttpsProxy(String proxy, int proxyport) {        _httpsProxy = proxy;        _httpsProxyPort = proxyport;    }