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>