 if (!aDownload) return;  
function removeFromView(aDownload){  let index = gDownloadsView.selectedIndex;  gDownloadsView.removeChild(aDownload);  gDownloadsView.selectedIndex = Math.min(index, gDownloadsView.itemCount - 1);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/e20df2aa0991fedb2428568b2b1e88e9ff28e643/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js