Cambiar puerto de escucha del JBoss

Si necesitais cambiar el puerto de escucha del JBoss, ya que este por defecto es el 8080, y choca con el de defecto del  Tomcat, la forma mas rápida es modificar el fichero:

 <jboss>\server\<servidor: minimal/default/all/>\deploy\jbossweb-tomcat55.sar\server.xml

 por ejemplo, al puerto 8088:

<!– A HTTP/1.1 Connector on port 8088 –> 

<Connector port=”8088″ address=”${jboss.bind.address}” maxThreads=”250″ strategy=”ms” maxHttpHeaderSize=”8192″ emptySessionPath=”true” enableLookups=”false” redirectPort=”8443″ acceptCount=”100″ connectionTimeout=”20000″ disableUploadTimeout=”true”/>