[type-annos-observers] Improving the format of type annotation attributes

[Michael Ernst]

Alex-

> > That is a working copy of the changelog (it's a snapshot of the current
> > version of the repository).  The links will work when the changelog is
> > posted to the website as part of a release.
>
> To clarify for other EG members: you mean a release of the U.W. Checker
> Framework, not the release of a Java SE artifact.

Sorry for my ambiguity.  I meant as part of a release of the spec to the
website http://types.cs.washington.edu/jsr308/.
This is independent of releases of:
 * the UW Checker Framework
 * the UW Type Annotations compiler
 * any Java SE artifact
 * Early Draft Reviews or any other part of the Java Community Process.

> > I'm attaching the current version of the spec, in PDF and HTML form.
> > People can always generate these from the source in the Mercurial
> > repository, but I can also send it around.
>
> Thanks, it is always good for EG members to get IP from this mailing list
> and not from independent sites.

OK.  I'll continue to send them on request, as I don't want to spam the
list with every little change.  But, this was a major and important one, so
thanks for prodding me to send it this time around.

		    -Mike