Neither JBoss Tools 4.0.0.Final nor the current master recognizes JBoss AS 7.2.0.Alpha1.
We probably have to create a new server type for JBoss AS 7.2.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community