| 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/"/> |
