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