Simply run

javac -processor de.unisaarland.cs.st.jerify.verifier.Checker [your annotated source files]

Make sure that you use an JSR 308 compiler.

Also make sure that the Typestate Checker's jar (link: Jan 2009 version) is in the class path (e.g. use -classpath /path/to/the/typestate.jar).

First the normal javac compilation process takes place and might generate errors.

If there are no errors in that stage, the typestate checker is run on your code and will report errors or warnings the same way as javac.