WebSocket DeploymentException is not thrown by client nor server

[lorban]

Jetty version(s)
verified:
11.0.x
12.0.x.beta0
still needs confirmation:
9.4.x
10.0.x

Description
In the client code, the multiple jakarta.websocket.WebSocketContainer.connectToServer() methods declare throwing DeploymentException in certain conditions, but only IOException is ever thrown.

In the server code, jakarta.websocket.server.ServerContainer.upgradeHttpToWebSocket() also declares throwing DeploymentException in certain conditions, while only IOException is ever thrown.

javax.websocket implementations should be checked too.

[lorban]

@lachlan-roberts your opinion & analysis are more than welcome.

[sbordet]

@lorban can this be closed?

[lachlan-roberts]

I was reviewing this a while ago and think I even had a branch for it with some small improvements which I seem to have lost.

But the connectToServer implementations can actually throw Deployment exception, and so can upgradeHttpToWebSocket. So I don't think the description in the issue is correct.

[lorban]

If @joakime is happy about how we interpreted the spec, then this can be closed.

[lachlan-roberts]

closing as #9678 has been merged