static void addSeparator(JMenu menu) {
  menu.addSeparator();
}