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