update libs.
<!-- JaCoCo
Library for code coverage -->
- <dependency org="org.jacoco" name="org.jacoco.ant" rev="0.8.1" conf="build->default"/>
+ <dependency org="org.jacoco" name="org.jacoco.ant" rev="0.8.2" 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. -->
<dependency org="com.google.googlejavaformat" name="google-java-format" rev="1.6" conf="format-source->default"/>
<!-- Checkstyle -->
- <dependency org="com.github.sevntu-checkstyle" name="sevntu-checks" rev="1.27.0" conf="checkstyle->default"/>
+ <dependency org="com.github.sevntu-checkstyle" name="sevntu-checks" rev="1.32.0" conf="checkstyle->default"/>
<!-- SpotBugs -->
- <dependency org="com.github.spotbugs" name="spotbugs-ant" rev="3.1.1" conf="spotbugs->default"/>
+ <dependency org="com.github.spotbugs" name="spotbugs-ant" rev="3.1.5" conf="spotbugs->default"/>
<!-- JAR with annotations needs to be present at runtime because we use Nullable.class -->
- <dependency org="com.github.spotbugs" name="spotbugs-annotations" rev="3.1.1" conf="runtime->default; contrib->sources"/>
+ <dependency org="com.github.spotbugs" name="spotbugs-annotations" rev="3.1.5" conf="runtime->default; contrib->sources"/>
<dependency org="com.google.code.findbugs" name="jsr305" rev="3.0.2" conf="runtime->default; contrib->sources"/>
<!-- SmtInterpol -->
