public void deleteKernel(String name){
  Kernel kernel=getKernelByName(name);
  if (kernel != null) {
    kernel.dispose();
    Integer oldSize=Integer.valueOf(_kernelHashTable.size());
    _kernelHashTable.remove(name);
    setDirtyAndFirePropertyChange(KERNEL_LISTLENGTH_CHANGED_PROPERTY,oldSize,Integer.valueOf(_kernelHashTable.size()));
  }
}

public void deleteKernel ( String name ) { Kernel kernel = getKernelByName ( name ) ; if ( kernel != null ) { kernel . dispose ( ) ; Integer oldSize = Integer . valueOf ( _kernelHashTable . size ( ) ) ; _kernelHashTable . remove ( name ) ; setDirtyAndFirePropertyChange ( KERNEL_LISTLENGTH_CHANGED_PROPERTY , oldSize , Integer . valueOf ( _kernelHashTable . size ( ) ) ) ; } }
delete a kernel by name
