The specification of the constructor does not indicate that
the annotationType argument must not be null and does not
specify the exception to be thrown if it is null.


Here is the test code:

===================================================
public void test() {
    IncompleteAnnotationException icae = null;
    try {
        icae = new IncompleteAnnotationException(null, "name");
    } catch (NullPointerException npe) {
        System.out.println("unexpected NullPointerException");
        return;
    }
    if (icae.annotationType() == null) {
        System.out.println("OK");
    } else {
        System.out.println("Expected null, got: "+icae.annotationType());
    }
}
--------------------------------------------------------

When running the above test code on jdk6 and cdc 1.6, I got NullPointerException.

The spec for the contructor IncompleteAnnotationException(Class<? extends Annotation> annotationType,String elementName) doesn't say anything about wether null is permitted or not. On the otherhand, if null is not permitted, then NullPointerException should
be specified in the spec.

I also checked package leave descrption for java.lang, java.lang.annotation,
it doesn't says anything about NPE thrown if the paremter is null.

So, based on the current spec, NPE should not be expected in the above code.