The type annotations specification ("JSR 308") is in Early Draft Review;
see http://jcp.org/aboutJava/communityprocess/edr/jsr308/index2.html .
This is a formal opportunity for the public to comment on the proposed
specification, so that it can be improved before being incorporated in the
Java language.  Of course, such comments have always been accepted at this
mailing list as well.

As background, Oracle has announced that they intend to include, in JDK 8,
support for type annotations.  Java 7 only permits annotations, such as
@Deprecated or @Override, to be written on declarations.  The ability to
write annotations on type uses enables improved documentation and bug
detection.  One example use is the Checker Framework for pluggable
typechecking (http://types.cs.washington.edu/checker-framework/).  Note
that the Checker Framework is a third-party tool and not part of the Java
language proper, and other tools will also use JSR 308.

                    -Mike

In chapter B (page 23) of the draft from 2012-01-23 I have found:

catch ( @A | @B NullPointerException | @C IllegalArgumentException e) {

The last line should probably replaced by the following:
catch (@A @B NullPointerException | @A @C IllegalArgumentException e) {

This is of course a very minor issue but perhaps you want to fix it in the
next revision.

With best regards
Hero Wanders