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