 var obs = Components.classes["@mozilla.org/observer-service;1"]. getService(Components.interfaces.nsIObserverService); obs.removeObserver(clearDownloadsObserver, "download-manager-clear-history"); 
function Shutdown() {  gDownloadManager.removeListener(gDownloadListener);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/58c7993d4e4725ed6694d7bfd453d72a9b5d9b1b/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js