rem:  setRDFProperty(aEvent.target.id, "DownloadAnimated", "true"); 
context: function onDownloadAnimated(aEvent){  gDownloadViewController.onCommandUpdate();      setRDFProperty(aEvent.target.id, "DownloadAnimated", "true");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10234/5089b2dda415f7e24f05d326fd9f480edfca8ee5/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js