rem: for (var p=0; p<deletedPermissions.length; p++) 
add: for (p = 0; p < deletedPermissions.length; ++p) 
context: function FinalizePermissionDeletions() {  if (!deletedPermissions.length)    return;  gUpdatingBatch = "perm-changed";  if (deletedPermissions[0].type == popupType) {    var ioService = Components.classes["@mozilla.org/network/io-service;1"]                              .getService(Components.interfaces.nsIIOService);    for (var p=0; p<deletedPermissions.length; p++)      // we lost the URI's original scheme, but this will do because the scheme      // is stripped later anyway.      popupmanager.remove(ioService.newURI("http://"+deletedPermissions[p].host, null, null));  } else {    for (var p=0; p<deletedPermissions.length; p++)      permissionmanager.remove(deletedPermissions[p].host, deletedPermissions[p].type);  }  deletedPermissions.length = 0;  gUpdatingBatch = "";}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e7ac30dd3b6d32c6c5ee6a487376f6fe81183910/cookieViewer.js/clean/suite/common/permissions/cookieViewer.js