re-enable test files in the jar.
re-enable test files in the jar.

CPAchecker contains code that inherits from JavaSMT's test classes.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt