Redundant class files in jpf-classes.jar #570
Description
Both jpf-classes.jar and jpf.jar contain the JUnit annotation classes. This is redundant; the classes can be removed from jpf-classes.jar.
In jpf-classes.jar:
jar tf build/jpf-classes.jar | head -12
META-INF/
META-INF/MANIFEST.MF
org/
org/junit/
org/junit/Ignore.class
org/junit/BeforeClass.class
org/junit/AfterClass.class
org/junit/Test.class
org/junit/After.class
org/junit/Test$None.class
org/junit/Before.class
modules/
In jpf.jar:
jar tf build/jpf.jar | tail
gov/nasa/jpf/annotation/JPFConfig.class
org/
org/junit/
org/junit/Ignore.class
org/junit/BeforeClass.class
org/junit/AfterClass.class
org/junit/Test.class
org/junit/After.class
org/junit/Test$None.class
org/junit/Before.class