For consistency with the other quickstarts that configure the server using the jboss-cli command, would you mind changing this to: 

Configure the JBoss Enterprise Application Platform 6.1 server or JBoss AS 7.2 server