[jbosstools-issues] [JBoss JIRA] (JBIDE-15663) merge master into jbosstools-4.1.x