| 195 |
|
</path> |
| 196 |
|
|
| 197 |
|
<!-- Support @jls tag, used in jdk8+ javadoc --> |
| 198 |
< |
<!-- TODO: How do we get &trade to work? --> |
| 199 |
< |
<!-- TODO: Why isn't @jls a "standard" tag? --> |
| 200 |
< |
<!-- property name="javadoc.jls.cite" value="The Java™ Language Specification" --> |
| 201 |
< |
<property name="javadoc.jls.cite" value="The Java Language Specification"/> |
| 198 |
> |
<property name="javadoc.jls.cite" value="The Java&trade; Language Specification"/> |
| 199 |
|
<property name="javadoc.jls.option" value="jls:a:See <cite>${javadoc.jls.cite}</cite>:"/> |
| 200 |
|
|
| 201 |
|
<!-- Main targets --> |
