[jbosstools-dev] Re: What is org.jboss.tools.common.model.options.Preference.EDITOR_PATH = "%Options%/Struts Studio/Editors" ?