JBoss AS 7.2 doesn't exist, so you'll need to just reference EAP 6.1.