public Kernel newKernel(String name){
  Kernel kernel=getKernelByName(name);
  if (kernel == null && !name.equals(NONE)) {
    kernel=new Kernel(name);
    Integer oldSize=Integer.valueOf(_kernelHashTable.size());
    _kernelHashTable.put(name,kernel);
    setDirtyAndFirePropertyChange(KERNEL_LISTLENGTH_CHANGED_PROPERTY,oldSize,Integer.valueOf(_kernelHashTable.size()));
  }
  return kernel;
}

public Kernel newKernel ( String name ) { Kernel kernel = getKernelByName ( name ) ; if ( kernel == null && ! name . equals ( NONE ) ) { kernel = new Kernel ( name ) ; Integer oldSize = Integer . valueOf ( _kernelHashTable . size ( ) ) ; _kernelHashTable . put ( name , kernel ) ; setDirtyAndFirePropertyChange ( KERNEL_LISTLENGTH_CHANGED_PROPERTY , oldSize , Integer . valueOf ( _kernelHashTable . size ( ) ) ) ; } return kernel ; }
create a new kernel
