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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4937f9974911799563bb4b6849e30d004f8fbfd6/navigator.js/buggy/xpfe/browser/resources/content/navigator.js