add:  BrowserOffline.uninit(); 
context: function nonBrowserWindowShutdown(){  if (gSanitizeListener)    gSanitizeListener.shutdown();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/bfadcc9fc102b2d5ef91832cd7f21b39db03cc26/browser.js/buggy/browser/base/content/browser.js