[jbosstools-issues] [JBoss JIRA] (JBDS-2244) Should JBDS 6 use the new Eclipse 4.2 skin or continue to look like JBDS 5 (Eclipse 3.7)