avoid exporting most test classes into the jar archive.
avoid exporting most test classes into the jar archive.

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