Does this work against AS 7.x? If so, should this line be: 

Configure the JBoss Enterprise Application Platform 6.1 server or JBoss AS 7.1 Server