evt = KeyEventWorkaround.processKeyEvent(evt); if(evt == null) return;
	protected void processKeyEvent(KeyEvent evt)	{		View view = EditAction.getView(evt);		// Ignore		if(view.isClosed())			return;		InputHandler inputHandler = view.getInputHandler();		KeyListener keyEventInterceptor = view.getKeyEventInterceptor();		switch(evt.getID())		{		case KeyEvent.KEY_TYPED:			if(keyEventInterceptor != null)				keyEventInterceptor.keyTyped(evt);			else				inputHandler.keyTyped(evt);			break;		case KeyEvent.KEY_PRESSED:			if(keyEventInterceptor != null)				keyEventInterceptor.keyPressed(evt);			else				inputHandler.keyPressed(evt);			break;		case KeyEvent.KEY_RELEASED:			if(keyEventInterceptor != null)				keyEventInterceptor.keyReleased(evt);			else				inputHandler.keyReleased(evt);			break;		}		if(!evt.isConsumed())			super.processKeyEvent(evt);	}