rem: certdb.deleteCertificate(certs[i]); 
add: if (certs[i]) { certdb.deleteCertificate(certs[i]); certs[i] = null; } 
context: function doOK(){  for(var i=0;i<certs.length;i++)  {    certdb.deleteCertificate(certs[i]);  }  window.close();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/9bd7d0e5add70b781139d86dfaa39f7ce76db79d/deletecert.js/buggy/security/manager/pki/resources/content/deletecert.js