fix classpath for AutoValue.
fix classpath for AutoValue.

Otherwise Eclipse might have problems when compiling the project.

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