The processor and runtime tools in the tcrt.jar file are used
to rewrite the class files so they transparently check the invariants
expressed using the annotations, run programs modified in such a way,
and analyze their results.