hg: jdk/sandbox: http-client-branch: 8203771 - It's not possible to override default user agent with java.net.http HTTPClient

[daniel.fuchs at oracle.com]

Changeset: aa677dd4c174
Author:    dfuchs
Date:      2018-06-13 10:05 +0100
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/aa677dd4c174

http-client-branch: 8203771 - It's not possible to override default user agent with java.net.http HTTPClient
8203771: It's not possible to override default user agent with java.net.http HTTPClient
Reviewed-by: chegar

! src/java.net.http/share/classes/jdk/internal/net/http/HttpRequestImpl.java
+ test/jdk/java/net/httpclient/SpecialHeadersTest.java