[JBoss 4] How to change port 8080 in JBoss?

With default configurations, JBoss listens on port 8080 for web connections. But this can be changed easily as this port is defined in an c...