Probably obvious to all, but since this article continues to get tons of pageviews I thought I'd mention that JBoss Tools 3.1.1 has been released.
https://www.jboss.org/tools/download/stable/3_1_GA
Also, if you'd like something newer, JBoss Tools 3.2.0 has also been released.
https://www.jboss.org/tools/download/stable/3_2_GA