rem: if (host == dnsResolveCachedHost) { return dnsResolveCachedIp; 
add: try { return dns.resolve(host, false).getNextAddrAsString(); } catch (e) { return null; 
context: function dnsResolve(host) {    if (host == dnsResolveCachedHost) {        return dnsResolveCachedIp;    }    try {        dnsResolveCachedIp = dns.resolve(host, false).getNextAddrAsString();        dnsResolveCachedHost = host;    }    catch (e) {        dnsResolveCachedIp = null;        dnsResolveCachedHost = null;    }    return dnsResolveCachedIp;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/db42244f05a2baadf0a73e340ec5832049c187f7/nsProxyAutoConfig.js/buggy/netwerk/base/src/nsProxyAutoConfig.js