RFR: JDK-8265483: All-caps “JAVA” in the top navigation bar

[Jonathan Gibbons]

Please review a moderately simple change to `make/Docs.gmk` to move the link for "Other Versions" from a "hidden" link in the top nav bar to an explicit link in the "bottom" text. The link is placed to appear after the sentence beginning "For more information..." and before all the legal text (i.e. trademark, copyright, license, etc)

A side effect of moving the link is that the top text reverts to its intended appearance of "Java ...", without all-caps.

As before, the presence of the link is optional, and depends on the specific docs target. It is set up to just appear for the main JDK/JavaSE documentation, and not the other docs bundles, such as docs-reference.

-------------

Commit messages:
 - JDK-8265483: All-caps “JAVA” in the top navigation bar

Changes: https://git.openjdk.java.net/jdk/pull/3594/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=3594&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8265483
  Stats: 16 lines in 1 file changed: 6 ins; 6 del; 4 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3594.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3594/head:pull/3594

PR: https://git.openjdk.java.net/jdk/pull/3594