Retrieves the port number for the server connection URL.
public int getPortNumber()
Returns the port number.