How to change port number in jboss-7

I am using jboss-7 and I want to change the port number from 8080 to 7001. Which file do I need to change?

How do I find my JBoss port number?

Also you can use "lsof -i tcp:8080" to check if this port is binding to JBoss AS or "netstat -nlp".

What is JBoss default port?

ports-default: The standard ports, for instance JBoss Web listens for HTTP requests on 8080.

The file is $JBOSS_HOME/standalone/configuration/standalone.xml. Find <socket-binding-group> and <socket-binding> there.

EDIT

There's multiple ways to do this. The recommended way is to use the management console. If JBoss AS runs on your local computer, open the URL http://localhost:9990/console/App.html#socket-bindings and edit the socket-bindings there. I tested it on Wildfly 8.1.0 Final, don't know if the URL is valid for other versions of JBoss AS.