Trying to fix Travis build: apparently GIT dislikes the current email
Trying to fix Travis build: apparently GIT dislikes the current email
sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt