add: gExtensionsView.database.RemoveDataSource(gExtensionManager.datasource);  
context: function Shutdown() {  if (gWindowState != "extensions")    gExtensionsView.removeEventListener("richview-select", onThemeSelect, false);    gExtensionManager.removeDownloadListenerAt(gObserverIndex);  var os = Components.classes["@mozilla.org/observer-service;1"]                     .getService(Components.interfaces.nsIObserverService);  if (gDownloadManager)     os.removeObserver(gDownloadManager, "xpinstall-download-started");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/44a522e94911d69fdc9067ae6c15c3f2754c3a56/extensions.js/clean/toolkit/mozapps/extensions/content/extensions.js