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