aItems.splice(i, 1); 
aItems.splice(i--, 1); 
function ArrayEnumerator(aItems) {  this._index = 0;  this._contents = [];  if (aItems) {    for (var i = 0; i < aItems.length; ++i) {      if (!aItems[i])        aItems.splice(i, 1);          }  }  this._contents = aItems;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/2276958b67460a22490932acf5bdf3f0a3290067/nsMicrosummaryService.js/clean/browser/components/microsummaries/src/nsMicrosummaryService.js