To clarify:
There will not be a JBoss 7.2 server adapter listed in the new server wizard. You will need to make use of the EAP 6.1 server adapter, and point it to your AS 7.2 installation.
I will investigate the 7.1.3 issues.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community