Magnus:
It was recently discovered that some URLs in JDK 10 still pointed to the "javase9" URL base.I intend to push this to jdk10/master, given suffient approval.
Acting as leader of the build group, I decorated the bug report and applied a 'jdk10-fix-yes' label.
Bug: https://bugs.openjdk.java.net/browse/JDK-8198658 WebRev: http://cr.openjdk.java.net/~ihse/JDK-8198658-update-docs-links-to-javase10/webrev.01
Looks good. Tim
