Note: I have also fixed all those occurrences of "Red Hat XYZ Editor" to
"JBoss Tools XYZ Editor"
/max
fyi: I "fixed"
http://jira.jboss.com/jira/browse/JBIDE-645
so we don't
have RHDS some places and JBoss Tools in other for
wizard/preferences/views categories.
I did the minimal change - namely to rename RHDS category to JBoss Tools
Web or Web and put them as a child of the JBoss Tools where technically
possible.
/max