static JMenuItem directJMenuItem(Action a) {
  ret JMenuItem(a) {
    public Dimension getMaximumSize() {
        return new Dimension(super.getPreferredSize().width, super.getMaximumSize().height);
    }
  });
}