rem: var history = Components.classes["@mozilla.org/browser/global-history;1"] 
add: var history = Components.classes["@mozilla.org/browser/global-history;2"] 
context: function BrowserFlushBookmarksAndHistory(){  // Flush bookmarks and history (used when window closes or is cached).  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();    // give history a chance at flushing to disk also    var history = Components.classes["@mozilla.org/browser/global-history;1"]                            .getService(Components.interfaces.nsIRDFRemoteDataSource);    history.Flush();  } catch(ex) {  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7a922f66fdefe01b355c50b90a67e5b12da14c9f/navigator.js/clean/xpfe/browser/resources/content/navigator.js