rem: history.Flush(); 
add: history.Flush(); 
context: function Shutdown(){  try {    // If bookmarks are dirty, flush 'em to disk    var bmks = Components.classes["@mozilla.org/browser/bookmarks-service;1"]                         .getService(Components.interfaces.nsIRDFRemoteDataSource);    bmks.Flush();  } catch (ex) {  }  try {    // give history a change at flushing to disk also                               var history = Components.classes["@mozilla.org/browser/global-history;1"]                            .getService(Components.interfaces.nsIRDFRemoteDataSource);    history.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/c70c2dd2118dfb7f6483b393767fd1c4d8fad792/navigator.js/buggy/xpfe/browser/resources/content/navigator.js