Cambiar puertos en Jboss 5

Para cambiar los distintos puertos que usa jboss 5 por defecto accedemos al fichero:

/jboss-5.x../server/default/conf/bootstrap/bindings.xml

En dicho fichero se pueden cambiar los puertos.