protected void _save() { if (coreIncluded.isSelected()) { plugin.setClojureCore(ClojurePlugin.includedCore); } else { plugin.setClojureCore(corePath.getText()); } if (contribIncluded.isSelected()) { plugin.setClojureContrib(ClojurePlugin.includedContrib); } else { plugin.setClojureContrib(contribPath.getText()); } plugin.setVars(); }