function Shutdown() 
function Shutdown() 
function Shutdown() {  gPref = null;  gExtensionsView.removeEventListener("select", onAddonSelect, false);  gExtensionsView.database.RemoveDataSource(gExtensionManager.datasource);  gExtensionManager.removeUpdateListenerAt(gObserverIndex);  var os = Components.classes["@mozilla.org/observer-service;1"]                     .getService(Components.interfaces.nsIObserverService);  os.removeObserver(gAddonsMsgObserver, "addons-message-notification");  os.removeObserver(gDownloadManager, "xpinstall-download-started");  var currentNotification = document.getElementById("addonsMsg").currentNotification;  if (currentNotification && currentNotification.value == "addons-no-updates")    window.removeEventListener("command", noUpdatesDismiss, true);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/dd0789ea577a496e2622a164a469a9cb1bcf058d/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js