HowTo Cambiar el puerto 8080 en JBoss

La configuración de puertos de JBoss puede especificarse en un archivo xml, lo que facilita su administración. 

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/jboss-web.deployer/server.xml

en la siguiente línea y reiniciar el servidor:

<Connector port="8080" address="${jboss.bind.address}"