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