rem:  if ( appCore ) appCore.close(); 
add: if (gBrowserStatusHandler) gBrowserStatusHandler.destroy(); 
context: function MiniNavShutdown(){  dump("*** MiniNavShutdown\n");  // Close the app core.  if ( appCore )    appCore.close();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/5ad5ad4564a3e8ded6376bb59916e22c4051d1d5/mini-nav.js/buggy/embedding/browser/chrome/content/mini-nav.js