static JButton enableButton(JButton b) {
  if (b != null) swing { b.setEnabled(true); }
  ret b;
}