org.gjt.sp.jedit.GUIUtilities.requestFocus(Window,Component)