@Override
      public void processKeyEvent(KeyEvent e) {
        if (ignoreSpaceTyped && e.getModifiersEx() == 0 &&
            e.getID() == KeyEvent.KEY_TYPED && e.getKeyChar() == ' ') {
          return;
        }
        super.processKeyEvent(e);
      }
@Override
      public void processKeyEvent(KeyEvent e)