[JSR308] ClassNotFoundException using BasicChecker

[Michael Ernst]

Neil-

> I am getting a ClassNotFoundException using BasicChecker.
> ...
> An annotation processor threw an uncaught exception.
> Consult the following stack trace for details.
> java.lang.Error: java.lang.ClassNotFoundException: myquals/Encrypted

You forgot to compile myquals/Encrypted.java.  (Or, maybe it is not on your
classpath.)  Try running

  javac myquals/Encrypted.java

before you invoke the compiler with the Basic Checker.
Also, ensure that the resulting .class file is available on the classpath
when you run the compiler with the Basic Checker.

                    -Mike