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