If you look at bindings-jboss-beans.xml, you will see around lines 435-478 that there is an XSL transform that located the ports that have to bechanged in server.xml. Here is the locator for the http port:

<xsl:when test="(name() = 'port' and . = '8080')">

As you can see, this locator depends on the port value in server.xml being set to 8080. Thus if you change server.xml, the http port setting in bindings-jboss-beans.xml will be ignored.

That is correct - you shouldchange port numbers only in bindings-jboss-beans.xml.