function flushDebugStream() 
function flushDebugStream() 
function flushDebugStream() {	if(dumpStream) dumpStream.flush();}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/be05bb1b5ce9dc07f6f4f994ca42945edd646c04/firebug-service.js/buggy/extension/components/firebug-service.js