The @jls3 tag is very useful in writing the platform API specification since often the JLS is the defining specification. The @jls3 tag would be more helpful if:

1) The tag was also usage as an inline tag
2) Links were generated to the online copy of the JLS.