+1 -- Jon
On 06/25/2018 02:09 PM, mandy chung wrote:
http://cr.openjdk.java.net/~mchung/jdk11/webrevs/8205627/webrev.00ExtLink taglet generates an external link to a JDK documentation page of a specific release. This patch replaces the hardcoded value with the value of a system property "extlink.spec.version" passed to the javadoc at runtime. The taglet can't rely on Runtime.version().feature() because javadoc is running on the boot JDK.Mandy
