org.gjt.sp.jedit.gui.InputHandler.processKeyEvent(KeyEvent,int,boolean)