hg: jdk9/sandbox/jdk: http-client-branch: WebSocket: removed dependency on HttpClient.getDefault() (reworked what has been contributed by dfuchs; Thanks, Daniel!)

[pavel.rappo at oracle.com]

Changeset: 0ae186299d97
Author:    prappo
Date:      2016-09-13 21:31 +0100
URL:       http://hg.openjdk.java.net/jdk9/sandbox/jdk/rev/0ae186299d97

http-client-branch: WebSocket: removed dependency on HttpClient.getDefault() (reworked what has been contributed by dfuchs; Thanks, Daniel!)

! src/java.httpclient/share/classes/java/net/http/WebSocket.java
- test/java/net/httpclient/BasicWebSocketAPITest.java
! test/java/net/httpclient/examples/WebSocketExample.java