New version of Type Annotations (JSR 308) specification

[Michael Ernst]

I've made a new version of the Type Annotations (JSR 308) specification, at

http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html
http://types.cs.washington.edu/jsr308/specification/java-annotation-design.pdf

This version cleans up a few small issues:

Classfile changes:
 * Type annotations on the body of an initializer appear with the initializer code, not with the field being initialized.
 * Change method_reference_receiver to method_reference, and change constructor_reference_receiver to constructor_reference.
 * Change invocation_type_argument_target and method_reference_type_argument to type_argument_target.

Clarifications:
 * Clarify the meaning of the receiver of an inner class constructor.

A few other small issues remain to be clarified, but I am not aware of any
significant errors that remain.

		    -Mike