org.junit

Annotation Type BeforeClass

@Target(value=METHOD)
public @interface BeforeClass

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