rem: if (!dumpStream) dumpStream = getDumpStream(); 
add: if (!dumpStream) dumpStream = getDumpStream(); 
context: function dumpToFile(text){	if (!dumpStream) dumpStream = getDumpStream();    dumpStream.write(text, text.length);    //dumpStream.flush();  // If FF crashes you need to run with flush on every line}
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/2e2e6e5e5acba26e69243682fad1c16a0bea8a6a/firebug-service.js/buggy/extension/components/firebug-service.js