[jbosstools-issues] [JBoss JIRA] (JBIDE-25129) [webtools.servertools] merge repos & build