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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/6c6ddc3f22e2752ef9df3e82f5cf7e2b08a96862/navigator.js/clean/suite/browser/navigator.js