For jboss HTTP port see this file:
[jboss-dir]/server/default/deploy/jbossweb-tomcat55.sar/server.xml
Both simple http port(8080) and compressed ajp port(8009), is defined in
this file.
I know this uri looks a little bit strange, but this is because of JBoss's
architecture which is a JMX micro kernel, and every thing else(even web),
is deployed in the form of JMX MBeans. (see .sar extention).