rem:  certdb.deleteCrl(i); DeleteItemSelected("crltree", "crltree_", "crlList"); 
add:    try{ if(autoupdateParamAvailable){ prefs.savePrefFile(null); }  if(autoupdateEnabled){ certdb.rescheduleCRLAutoUpdate(); }   certdb.deleteCrl(i); DeleteItemSelected("crltree", "crltree_", "crlList");     }catch(exception) {   }  
context: function DeleteCrlSelected() {  var crlEntry;  // delete selected item  var crltree = document.getElementById("crltree");  var i = crltree.selectedIndex;  // Delete it  certdb.deleteCrl(i);  DeleteItemSelected("crltree", "crltree_", "crlList");  if( !crltree.selectedItems.length ) {    if( !document.getElementById("deleteCrl").disabled ) {      document.getElementById("deleteCrl").setAttribute("disabled", "true")    }  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/cc76b7eb14e23b360a0cc036c408fb89741931eb/crlManager.js/buggy/security/manager/pki/resources/content/crlManager.js