mernst at csail.mit.edu
Tue Jun 10 07:50:02 EDT 2008
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
> 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.
More information about the JSR308