[jbosstools-issues] [JBoss JIRA] (JBIDE-20766) Merge jbosstools-4.3.1.x branch into jbosstools-4.3.x branch