Updated classpath, such that princess unit-tests can also be used with eclipse
Updated classpath, such that princess unit-tests can also be used with eclipse

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