svoid jPreemptEnterKey(final Component c, fO action) {
  swing {
    c.addKeyListener(new KeyAdapter {
      public void keyPressed(KeyEvent e) {
        if (e.getKeyCode() != KeyEvent.VK_ENTER || e.getModifiers() != 0) ret;
        e.consume();
        callF(action);
      }
    });
  }
}