JBIDE-13804, JBDS-2490 Max has asked that the latest version of org.jboss.tools.central.discovery be put back into the jbosstools-central repo so it can then be migrated directly to a new github repo (JBDS-2490: jbosstools-discovery) >> master