src/java.base/share/classes/java/net/doc-files/net-properties.html
changeset 49765 ee6f7a61f3a5
parent 49522 3930c4d4f805
child 52708 1ffff60c9f54
child 56451 9585061fdb04
--- 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: &ldquo;Java/&lt;version&gt;&rdquo;)<BR>
 	Defines the string sent in the User-Agent request header in http