add: progressBar = null; 
context: 			function (ev, progress) {				progress.hide();				progress.destroy();			}, progress
meta: 1782	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1782/60260034d3c42ca006513aa041588e8c18163cc5/report.js/clean/webapp/xqts/scripts/report.js