added JBoss 7.2