Detecting server ports from local runtime does not account for configured port-offset

When socket-binding in standalone.xml is configured with a port-offset other than 0, the server ports are not detected correctly in the server configuration view.

The server startup is not detected correctly and times out.
Opening the server in the web browser uses the wrong port.

steps to reproduce:
With pristine jboss-as-7.1.1.Final, in standalone.xml, element 'socket-binding-group' attribute 'port-offset': change ${jboss.socket.binding.port-offset:0} to ${jboss.socket.binding.port-offset:400}. Start server.

Server will log successful start ("JBAS015874: JBoss AS 7.1.1.Final "Brontes" started in 1676ms"), but ide tools will not detect server as started, message "Starting jboss-as-7.1.1.Final" stays until timeout is reached.