[PAXEXAM-557] Use inofficial but public JBoss AS 7.2 distribution