org.gjt.sp.jedit.jEdit.MyFocusManager.postProcessKeyEvent(KeyEvent)