if (! e.isConsumed() && processKeyBinding(KeyStroke.getKeyStrokeForEvent(e),
if (e.isConsumed()) return;           if (processKeyBinding(KeyStroke.getKeyStrokeForEvent(e),
  protected void processKeyEvent(KeyEvent e)  {    // let the AWT event processing send KeyEvents to registered listeners    super.processKeyEvent(e);    processComponentKeyEvent(e);    // FIXME: this needs to be elaborated significantly, to do all the    // focus / ancestor / window searching for the various binding modes.    if (! e.isConsumed() &&        processKeyBinding(KeyStroke.getKeyStrokeForEvent(e),                           e, WHEN_FOCUSED, e.getID() == KeyEvent.KEY_PRESSED))      e.consume();  }