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