osvr.removeObserver(this, "quit-application-requested"); osvr.removeObserver(this, "quit-application-granted"); 
  _dispose: function()   {    // observer removal     const osvr = Components.classes['@mozilla.org/observer-service;1']                           .getService(Components.interfaces.nsIObserverService);    osvr.removeObserver(this, "profile-before-change");    osvr.removeObserver(this, "profile-change-teardown");    osvr.removeObserver(this, "xpcom-shutdown");    osvr.removeObserver(this, "final-ui-startup");    osvr.removeObserver(this, "browser:purge-session-history");  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/842c8ce63687e858eae1fb17693f18960f1ebdf7/nsBrowserGlue.js/buggy/browser/components/nsBrowserGlue.js