[jbosstools-issues] [JBoss JIRA] (JBDS-4422) Rename RPM package to rh-eclipse47-devstudio