static JMenuItem disableMenuItem(final JMenuItem mi) {
  if (mi != null) swing { mi.setEnabled(false); }
  ret mi;
}