[JSR308] java.lang.NoSuchMethodError:

[Michael Ernst]

Although we already replied privately to Martin,
no one seems to have replied publicly to this message:

>   Can anybody help me with this error? I installed the JSR 3008 0.6.1 on a
> Windows XP. When I try to run the example for
> NonNullExampleWithWarnings.java I get a NoSuchMethodError
> 
> javac -typeprocessor checkers.nonnull.NonNullChecker
> examples/NonNullExampleWithWarnings.java
> 
> An annotation processor threw an uncaught exception.
> Consult the following stack trace for details.
> java.lang.NoSuchMethodError: javax.annotation.processing.Messager.printMessage(Ljavax/tools/Diagnostic$Kind;Ljava/lang/CharSequence;Lcom/sun/source/tree/Tree;Lcom/sun/source/tree/CompilationUnitTree;)V
> ...

This problem was fixed in release 0.6.3 of the Checker Framework.

                    -Mike