rem: app.log("helma.Http.setProxy " + proxyString); 
add: app.logger.info("helma.Http.setProxy " + proxyString); 
context: helma.Http.setProxy = function(proxyString) {    var sys = java.lang.System.getProperties();    if (proxyString) {        var idx = proxyString.indexOf(":");        var host = proxyString.substring(0, idx);        var port = proxyString.substring(idx+1);        if (!port)            port = "3128";        else if (typeof port == "number")            port = port.toString();        app.log("helma.Http.setProxy " + proxyString);        sys.put("http.proxySet", "true");        sys.put("http.proxyHost", host);        sys.put("http.proxyPort", port);    } else {        sys.put("http.proxySet", "false");        sys.put("http.proxyHost", "");        sys.put("http.prodyPort", "");    }    return;    };
meta: 2504	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2504/b11fce933f369e10a8a1cca8ac4ca10d7a687a61/Http.js/buggy/helma/Http.js