svoid setChecked(JCheckBox checkBox, bool b) {
  if (checkBox != null) swing {
    if (isChecked(checkBox) != b)
      checkBox.setSelected(b);
  }
}

svoid setChecked(JCheckBoxMenuItem mi, bool b) {
  if (mi != null) swing { mi.setSelected(b); }
}