org.gjt.sp.jedit.options.AppearanceOptionPane._init() org.gjt.sp.jedit.options.SaveBackupOptionPane._init()