rem: new java.io.FileInputStream(url)))); 
add: new java.io.FileInputStream( url )))); 
context: 	window.__defineSetter__("location", function(url){		window.document = new DOMDocument(			new Packages.org.xml.sax.InputSource(			new java.io.InputStreamReader(				new java.io.FileInputStream(url))));	});
meta: 1375	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1375/d776dc9d5c5322e81b56272728325990ed6892bb/env.js/buggy/build/runtest/env.js