static JMenu getMenuNamed(JMenuBar bar, S name) {
  int n = bar.getMenuCount();
  for i to n: {
    JMenu m = bar.getMenu(i);
    print("Found menu " + i + ": " + m);
    if (m != null && eq(m.getText(), name))
      ret m;
  }
  null;
}