Tom Tromey wrote:

>Bryce> Does it make any sense to keep JLS tags in mauve? Only a handful of
>Bryce> test cases use them. I'd like to simplify the tags a little and
>Bryce> convert JLS1.2 -> JDK1.2, etc.
>
>I never really understood the distinction.  I say nuke 'em.
>  
>
OK - I'm checking in this patch.

Regards

Bryce