Changing Jboss 7.1 port

Find standalone.xml file and find the lines: <socket-binding-group name=”standard-sockets” default-interface=”public” port-offset=”${jboss.socket.binding.port-offset:0}”> <socket-binding name=”management-native” interface=”management” port=”${jboss.management.native.port:9993}”/> <socket-binding name=”management-http” interface=”management” port=”${jboss.management.http.port:9991}”/> <socket-binding name=”management-https” interface=”management” port=”${jboss.management.https.port:9442}”/> <socket-binding name=”ajp” port=”9009″/> <socket-binding name=”http” port=”9000″/> <socket-binding name=”https” port=”9043″/> <socket-binding name=”osgi-http” interface=”management” port=”9001″/> <socket-binding name=”remoting” port=”9447″/> <socket-binding name=”txn-recovery-environment” port=”9712″/> <socket-binding name=”txn-status-manager” port=”9713″/> <outbound-socket-binding name=”mail-smtp”> <remote-destination host=”localhost” port=”25″/> </outbound-socket-binding> </socket-binding-group>