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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/00ee9604b0272a134b2dbea999831d8e297f830e/CookieViewer.js/clean/extensions/wallet/cookieviewer/resources/content/CookieViewer.js