value = props.getProperty(prop, "");
value = Preferences.getPreference(prop, ""); if (value == null) value = "";
    private void configureHTTPClient(Properties props) {        HTTPClientFactory factory = HTTPClientFactory.getInstance();        String prop = null;        String value;        int colon;        try {        	// FIXME for some reason, we get "" instead of null for value,        	// and do not use our default value???            prop = "WebScarab.httpProxy";            value = props.getProperty(prop, ":80");            colon = value.indexOf(":");            factory.setHttpProxy(value.substring(0,colon), Integer.parseInt(value.substring(colon+1)));                        prop = "WebScarab.httpsProxy";            value = props.getProperty(prop, ":80");            colon = value.indexOf(":");            factory.setHttpsProxy(value.substring(0,colon), Integer.parseInt(value.substring(colon+1)));                        prop = "WebScarab.noProxy";            value = props.getProperty(prop, "");            factory.setNoProxy(value.split(" *, *"));                        prop = "WebScarab.clientCertificateFile";            String file = props.getProperty(prop, "");            prop = "WebScarab.keyStorePassword";            String keystorePass = props.getProperty(prop, "");            prop = "WebScarab.keyPassword";            String keyPass = props.getProperty(prop, "");                        factory.setClientCertificateFile(file, keystorePass, keyPass);                    } catch (NumberFormatException nfe) {            _logger.warning("Error parsing property " + prop + ": " + nfe);        } catch (Exception e) {            _logger.warning("Error configuring the HTTPClient property " + prop + ": " + e);        }    }