[jbosstools-issues] [JBoss JIRA] (JBIDE-24736) [servertools] merge 3 servertools repos into 1