WebSocket(
String url,
[protocol_OR_protocols]
)

Not documented.