hg: jdk9/sandbox/jdk: JEP-110-branch: WebSocket: API: no "user"

[pavel.rappo at oracle.com]

Changeset: debc2e6441fa
Author:    prappo
Date:      2015-12-01 21:20 +0000
URL:       http://hg.openjdk.java.net/jdk9/sandbox/jdk/rev/debc2e6441fa

JEP-110-branch: WebSocket: API: no "user"

! src/java.httpclient/share/classes/java/net/http/WebSocket.java