Update JBoss dep to 7.2.0.Final (tag 7.2.0.Final-prerelease1 from jboss-as repository)