[JSR308] Unique annotation proposal

[Michael Ernst]

Artemus-

First, thanks for your bug reports (and patches!), as you use JSR 308 to
build a checker for your unique annotation system.  I'm glad that JSR 308
is working out for you, and please let us know of any problems you
encounter.

Second, a detailed discussion of the semantics of uniqueness is
interesting, but isn't appropriate for this particular mailing list, which
is focused on JSR 308 itself.  I will send comments on your proposal
directly to you.

                    -Mike