[jbosstools-dev] wizard/preferences/views
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