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