Libcore: fix three openjdk-redirect.html links.

{@docRoot} already ends with /, so these links started with //
and were interpreted by the browser as going to the hostname
openjdk-redirect.html.

This CL fixes the malformed links by dropping the extra '/'.

The follow-up CL will touch (among others) these same lines,
but by fixing these links first, the follow-up CL topic will
become a pure refactoring with no impact on the doc generation.

Bug: 129765390
Test: Treehugger
Change-Id: I9af84ed751799142b3f8b8c5af8a70854e21272b
3 files changed