[jbosstools-issues] [JBoss JIRA] (JBDS-3909) rebrand dev platform installer as Red Hat Development Suite