static void selectRadioButton(JRadioButton rb) {
  if (rb == null) ret;
  swing { rb.setSelected(true); }
}