org.junit

Annotation Type AfterClass

@Target(value=METHOD)
public @interface AfterClass

same as org.junit.Test - we don't want to pull the whole of JUnit into our JPF classpath just because we run TestJPF derived classes