[jbosstools-issues] [JBoss JIRA] (JBIDE-19252) merge v3 branch into master