.travis.yml: attempt to use new Java version on containers.
.travis.yml: attempt to use new Java version on containers.
sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt