rem:  if ( appCore ) { appCore.close(); } } 
add: if ( appCore ) appCore.close(); } 
context:   function Shutdown()  {	try	{		// If bookmarks are dirty, flush 'em to disk		var bmks = Components.classes["component://netscape/browser/bookmarks-service"].getService();		if (bmks)	bmks = bmks.QueryInterface(Components.interfaces.nsIRDFRemoteDataSource);		if (bmks)	bmks.Flush();	}	catch (ex)	{	}    // Close the app core.    if ( appCore ) {        appCore.close();    }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/504dbe197757dfd7174946e37fd3dbb61e55759e/navigator.js/buggy/suite/browser/navigator.js