If you want to spell it out fully then it should be _JBoss AS 7.1.x_ or _JBoss EAP6_