--- a/src/java.base/share/classes/java/net/doc-files/net-properties.html Tue Apr 17 15:39:20 2018 +0200
+++ b/src/java.base/share/classes/java/net/doc-files/net-properties.html Tue Apr 17 08:54:17 2018 -0700
@@ -156,7 +156,7 @@
checked only once at startup.</P>
</UL>
<a id="MiscHTTP"></a>
-<H2>Misc HTTP properties</H2>
+<H2>Misc HTTP URL stream protocol handler properties</H2>
<UL>
<LI><P><B>http.agent</B> (default: “Java/<version>”)<BR>
Defines the string sent in the User-Agent request header in http