[jbosstools-issues] [JBoss JIRA] (JBDS-3897) Use "Red Hat JBoss Developer Studio" instead of "Red Hat Developer Studio" in graphics

Use "Red Hat JBoss Developer Studio" instead of "Red Hat Developer Studio" in graphics -------------------------------------------------------------------------------------- Key: JBDS-3897 URL: https://issues.jboss.org/browse/JBDS-3897 Project: Red Hat Developer Studio (DevStudio) Issue Type: Feature Request Components: installer Affects Versions: 10.0.0.Alpha2 Reporter: Nick Boldt Assignee: Nick Boldt Fix For: 10.0.0.Alpha3 Attachments: about_devstudio.jpg, devstudio_banner.png, heading.png, RHJBoss_DevStudio_Assets.zip, splash.bmp Due to changes in https://trello.com/c/Cbo0q8TT/99-rebrand-jbds-as-rhds-using-rhd-logo the correct name of the product is "Red Hat JBoss Developer Studio", not "Red Hat Developer Studio", so we need to add the "JBoss" part back into the new RHD-branded headers & splash.