How to change port number in jboss-7

Question

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

Answer 1

In eclipse I open port-offset (that corrispondes to standalone.xml) and modify jboss.socket.binding.port-offset from 0 to 1000