hg: jdk9/sandbox/jdk: 8175824: Adapt javadoc generation to different requirements for JDK and JavaSE

[chris.hegarty at oracle.com]

Changeset: 0ff9ad7d067c
Author:    ihse
Date:      2017-05-29 09:18 +0200
URL:       http://hg.openjdk.java.net/jdk9/sandbox/jdk/rev/0ff9ad7d067c

8175824: Adapt javadoc generation to different requirements for JDK and JavaSE
Reviewed-by: erikj, mchung

- src/java.base/share/classes/overview-core.html