 clearTimeout(gBuilder); gStmt.reset(); gStmt.finalize(); 
function Shutdown(){  gDownloadManager.removeListener(gDownloadListener);  let obs = Cc["@mozilla.org/observer-service;1"].            getService(Ci.nsIObserverService);  obs.removeObserver(gDownloadObserver, "download-manager-remove-download");}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/9a1d793ed199840168e87d4d74714e5218c22810/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js