[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-780) Move references of "JBossIDE" to "RHDS" in menus / preferences etc