Update Java Gradle example project versions and clean up the build.gradle file
Update Java Gradle example project versions and clean up the build.gradle file

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