...
Si lo que se desea es solamente cambiar un puerto, entonces hay mecanismos más sencillos que el descripto en el documento mencionado. Dependiendo de qué puerto es el que se desea cambiar, se deberá modificar en el correspodniente archivo xml.
Ejemplo: Cómo cambiar puerto 8080
La forma más fácil de cambiar el 8080 por otro puerto es modificar en el archivo:
<jboss>/server/default/deploy/jbossweb-tomcat55.sar/server.xml
...