You should be able to build and use the 7.1.2 tag.
Reply to this message by going to Community
Start a new discussion in JBoss AS 7 Development at Community