La configuración de puertos de JBoss puede especificarse en un archivo xml, lo que facilita su administración.
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
...