static JMenuBar addMenuBar(JFrame f) {
  JMenuBar bar = f.getJMenuBar();
  if (bar == null) {
    f.setJMenuBar(bar = new JMenuBar());
    revalidateFrame(f);
  }
  ret bar;
}