JSR 308 (type annotations) specification updated

[Michael Ernst]

I have posted an updated version of the JSR 308 (type annotations)
specification, linked from http://types.cs.washington.edu/jsr308/.

The changelog is available at
http://types.cs.washington.edu/jsr308/specification/jsr308-changes.html
and appears below my signature.

		    -Mike


Grammar changes:
 * Add missing modified grammar productions for AnnotationTypeElementRest
   and LocalVariableDeclarationStatement.
Clarifications:
 * No dynamic dispatching occurs on the receiver of an inner constructor.
 * Explain the rationale for the syntax java.lang. at NonNull String, as
   opposed to java.lang. at NonNull String.
 * Explain why declaration annotations on a type parameter appear in the
   classfile in type_annotation elements rather than annotation elements.
 * The receiver parameter is not persisted as a formal parameter in the bytecode.
 * Remove text that says no changes are made, to reduce confusion and make
   it easier to integrate the text into the JLS.
Advice:
 * In locations where all are permitted, type annotations should appear
   immediately before the type, after declaration annotations and modifiers.