Read the allocated port from the ServerSocket

ServerSocket has support to search for any free
port if you pass '0' as port number. In this case
the port in the ServerSetup does not match the
actually acquired port.