ask Max Anderson in the JBoss Tools forum (once JBoss sites are up and running again). he will definitely know, he's the JBoss Tools project lead.
Thanks, Arbi. Any idea when those sites are going to be up again? I've been trying to connect to them all week with no luck. Very annoying if you're trying to learn the technology.