Changeset: 65e5d54325ad Author: prappo Date: 2015-11-25 23:39 +0000 URL: http://hg.openjdk.java.net/jdk9/sandbox/jdk/rev/65e5d54325ad JEP-110-branch: WebSocket: API: ProtocolException and happens-before ! src/java.httpclient/share/classes/java/net/http/WebSocket.java