hg: jdk/jdk: 8200664: fix broken links in java.base docs

[jonathan.gibbons at oracle.com]

Changeset: 3930c4d4f805
Author:    jjg
Date:      2018-04-04 14:42 -0700
URL:       http://hg.openjdk.java.net/jdk/jdk/rev/3930c4d4f805

8200664: fix broken links in java.base docs
Reviewed-by: alanb, joehw

! src/java.base/share/classes/java/net/doc-files/net-properties.html
! src/java.base/share/classes/java/util/doc-files/coll-designfaq.html
! src/java.base/share/classes/java/util/doc-files/coll-overview.html
! src/java.base/share/classes/java/util/doc-files/coll-reference.html