release 4.1.0.Final to http://download.jboss.org/jbosstools/updates/stable/kepler/; add new discovery plugin plugins/org.jboss.tools.central.discovery_1.2.0.Final-v20130722-0943-B274.jar + update jbosstools-directory.xml >> master