Update lots of dependencies.
<!-- Google Core Libraries for Java
Contains a lot of helpful data structures. -->
- <dependency org="com.google.guava" name="guava" rev="19.0" conf="core->default; contrib->sources"/>
+ <dependency org="com.google.guava" name="guava" rev="22.0" conf="core->default; contrib->sources"/>
<!-- Guava-testlib contains many useful testing utilities -->
- <dependency org="com.google.guava" name="guava-testlib" rev="19.0" conf="test->default; contrib->sources"/>
+ <dependency org="com.google.guava" name="guava-testlib" rev="22.0" conf="test->default; contrib->sources"/>
<!-- Dependency on Ivy itself so that we can ugprade it easily.
Change version number in build.xml for upgrading. -->
<!-- JaCoCo
Library for code coverage -->
- <dependency org="org.jacoco" name="org.jacoco.ant" rev="0.7.7.201606060606" conf="build->default"/>
+ <dependency org="org.jacoco" name="org.jacoco.ant" rev="0.7.9" conf="build->default"/>
<!-- The JUnit task for Ant so that we can run the tests.
The property used here is defined in build.xml according to the current Ant version. -->
<!-- Truth
Library for writing literal assertions. -->
- <dependency org="com.google.truth" name="truth" rev="0.30" conf="test->default; contrib->sources"/>
- <dependency org="com.google.truth.extensions" name="truth-java8-extension" rev="0.30" conf="test->default; contrib->sources"/>
+ <dependency org="com.google.truth" name="truth" rev="0.33" conf="test->default; contrib->sources"/>
+ <dependency org="com.google.truth.extensions" name="truth-java8-extension" rev="0.33" conf="test->default; contrib->sources"/>
<!-- Google error-prone
Compiler adaptor with some useful checks for common errors. -->
<!-- Eclipse JDT Compiler
For additional compiler warnings. -->
- <dependency org="org.eclipse.jdt.core.compiler" name="ecj" rev="4.5.2" conf="build->default"/>
+ <dependency org="org.eclipse.jdt.core.compiler" name="ecj" rev="4.6.1" conf="build->default"/>
<!-- google-java-format
A source-code formatter for Java -->
- <dependency org="com.google.googlejavaformat" name="google-java-format" rev="1.1" conf="format-source->default"/>
+ <dependency org="com.google.googlejavaformat" name="google-java-format" rev="1.3" conf="format-source->default"/>
<!-- Checkstyle -->
- <dependency org="com.github.sevntu.checkstyle" name="sevntu-checks" rev="1.21.0" conf="checkstyle->default"/>
+ <dependency org="com.github.sevntu.checkstyle" name="sevntu-checks" rev="1.23.1" conf="checkstyle->default"/>
<!-- FindBugs -->
<dependency org="com.google.code.findbugs" name="findbugs" rev="3.0.1" conf="findbugs->default"/>
- <dependency org="com.google.code.findbugs" name="annotations" rev="3.0.0" conf="build->default"/>
+ <dependency org="com.google.code.findbugs" name="annotations" rev="3.0.1" conf="build->default"/>
<!-- SmtInterpol -->
<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.1-327-g92cafef" conf="runtime-smtinterpol->master; contrib->sources"/>
