synchronized static public void setHttpProxy(String proxy, int proxyport) { _httpProxy = proxy; _httpProxyPort = proxyport;
static public void setHttpProxy(String proxy, int proxyport) { String prop = "WebScarab.httpProxy"; String value = proxy + ":" + Integer.toString(proxyport); _props.setProperty(prop, value);
    synchronized static public void setHttpProxy(String proxy, int proxyport) {        _httpProxy = proxy;        _httpProxyPort = proxyport;    }