add: gUpdatingBatch = false; 
context: function FinalizeCookieDeletions() {  for (var c=0; c<deletedCookies.length; c++) {    cookiemanager.remove(deletedCookies[c].host,                         deletedCookies[c].name,                         deletedCookies[c].path,                         document.getElementById("checkbox").checked);  }  deletedCookies.length = 0;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/c139565ffef8d9e4c88cac97d4518cdd0d3c00d4/CookieViewer.js/buggy/extensions/wallet/cookieviewer/resources/content/CookieViewer.js