static void clearMenu(final JMenu menu) {
  if (menu != null) swing { menu.removeAll(); }
}