The usage of the `@jls` tag in the `com.sun.source` API is stylistically inconsistent with other usages in the JDK source code.

The general style, not currently enforced, is

    @jls <section-number> <title>

wheeras `com.sun.source.tree` uses:

    @jls (`chapter`|`section`) <number> (',' <number>)*
    
If we regularize this, we could move towards checking these entries as well.