add: try {  var history = getService( "component: if (history)	history.Flush(); } catch (ex) { }  
context: function Shutdown(){  try  {    // If bookmarks are dirty, flush 'em to disk    var bmks = getService( "component://netscape/browser/bookmarks-service", "nsIRDFRemoteDataSource" );    if (bmks)	bmks.Flush();  }  catch (ex)  {  }  if ( appCore )    appCore.close();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/63c8622b0352c022f6a4fe353abb553b40091d56/navigator.js/clean/suite/browser/navigator.js