public void updateKernelComboBox(JComboBox<String> box){
  box.removeAllItems();
  box.addItem(NONE);
  for (  String kernelName : getKernelNameList()) {
    box.addItem(kernelName);
  }
}

public void updateKernelComboBox ( JComboBox < String > box ) { box . removeAllItems ( ) ; box . addItem ( NONE ) ; for ( String kernelName : getKernelNameList ( ) ) { box . addItem ( kernelName ) ; } }
update an existing combobox with the current kernel names
