rem: this._request = new PROT_XMLHttpRequest(); 
add: this._request = PROT_NewXMLHttpRequest(); 
context: function PROT_XMLFetcher(opt_stripCookies) {  this.debugZone = "xmlfetcher";  this._request = new PROT_XMLHttpRequest();  this._stripCookies = !!opt_stripCookies;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/8adea04713379f7f16e05c634977fa2da6c3ab2e/xml-fetcher.js/clean/toolkit/components/url-classifier/content/xml-fetcher.js