204 |
|
<!-- <property name="java11.docroot.url" value="http://download.java.net/java/jdk11/docs"/> --> |
205 |
|
<property name="java12.docroot.url" value="https://download.java.net/java/jdk12/docs"/> |
206 |
|
<!-- Default jdk doc location (latest stable release seems best) --> |
207 |
< |
<property name="java.docroot.url" value="${java11.docroot.url}"/> |
207 |
> |
<!-- But pin to jdk 10 until fix for --> |
208 |
> |
<!-- 8211194: javadoc -link doesn't take module path into consideration --> |
209 |
> |
<property name="java.docroot.url" value="${java10.docroot.url}"/> |
210 |
|
|
211 |
|
<!-- Canonical location of jdk API docs, to use with javadoc link attribute --> |
212 |
|
<property name="java5.api.url" value="${java5.docroot.url}/api/"/> |