[JSR308] Unique annotation proposal

[John Tang Boyland]

Artemus,
   Unique is a slippery concept with many pitfalls.  I'd suggest
you look into some of the research papers on the problems.
Since I'm writing, I'll suggest my own:

	Alias Burying http://www.cs.uwm.edu/~boyland/papers/unique.html

	Connecting effects and uniqueness http://www.cs.uwm.edu/~boyland/papers/connecting2.html

Aldrich's work on AliasJava is import too.
You should also look into the work by Wrigstad, Clarke and others on
external uniqueness.

Regards,
John