[jbosstools-issues] [JBoss JIRA] (JBIDE-18674) jboss tools discovery settings are wrong

jboss tools discovery settings are wrong ---------------------------------------- Key: JBIDE-18674 URL: https://issues.jboss.org/browse/JBIDE-18674 Project: Tools (JBoss Tools) Issue Type: Bug Reporter: Max Rydahl Andersen Assignee: Max Rydahl Andersen Priority: Blocker Fix For: 4.2.0.Final ide-config.properties have wrong info resuliting in CR2b content being used when installing things from central. See https://github.com/jbosstools/jbosstools-download.jboss.org/pull/437