This API change is not needed, we can deduce it from ServerConnectionState without breaking the API.