org.gjt.sp.jedit.PerspectiveManager.PerspectiveHandler.skipRemote(String)
org.gjt.sp.jedit.PerspectiveManager.PerspectiveHandler.endElement(String,String,String)
org.gjt.sp.jedit.options.GeneralOptionPane._init()
org.gjt.sp.jedit.options.GeneralOptionPane._save()