[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-8072) roll back JBIDE-6423