I've since installed everything except the source plugins, all without problems.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community