JBossTools 3.1.1. should be out till the end of the month.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community