rem: netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect"); MozillaFileLogger._foStream.close(); MozillaFileLogger._foStream = null; MozillaFileLogger._file = null; 
add: netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect"); MozillaFileLogger._foStream.close(); MozillaFileLogger._foStream = null; MozillaFileLogger._file = null; 
context: MozillaFileLogger.close = function() {    netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");    MozillaFileLogger._foStream.close();    MozillaFileLogger._foStream = null;    MozillaFileLogger._file = null;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/23ba5ce55db46dea15535669cf2970d1aa46d05e/MozillaFileLogger.js/buggy/testing/mochitest/tests/SimpleTest/MozillaFileLogger.js