org.gjt.sp.jedit.options.GeneralOptionPane._init()