rem: permissionmanager.remove(deletedPermissions[p].host, deletedPermissions[p].type); 
add: if (deletedPermissions[p].type == popupType) {   var uri = ioService.newURI("http: dump("********* uri "+uri.spec+"\n"); popupmanager.remove(uri); } else permissionmanager.remove(deletedPermissions[p].host, deletedPermissions[p].type); 
context: function FinalizePermissionDeletions() {  for (var p=0; p<deletedPermissions.length; p++) {    permissionmanager.remove(deletedPermissions[p].host, deletedPermissions[p].type);  }  deletedPermissions.length = 0;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/c4ee53eb8ac8bc3a048857db52064ad2f891e5f7/CookieViewer.js/buggy/extensions/wallet/cookieviewer/CookieViewer.js