Fix some web socket JSR compliance issues