inputHandler.keyPressed(evt);
if(keyEventInterceptor != null) keyEventInterceptor.keyPressed(evt); else inputHandler.keyPressed(evt);
	protected void processKeyEvent(KeyEvent evt)	{		if(evt.isConsumed())			return;		// possible workaround for bug some people have experienced,		// where both the find text field and the text area handle		// a key stroke		if(getFocusOwner() instanceof JTextField)			return;		switch(evt.getID())		{		case KeyEvent.KEY_TYPED:			if(inputHandler.isPrefixActive())				inputHandler.keyTyped(evt);			break;		case KeyEvent.KEY_PRESSED:			inputHandler.keyPressed(evt);			break;		case KeyEvent.KEY_RELEASED:			inputHandler.keyReleased(evt);			break;		}		if(!evt.isConsumed())			super.processKeyEvent(evt);	}