update some dependency libraries.
@@ -98,7 +98,7 @@ SPDX-License-Identifier: Apache-2.0
<dependency org="com.google.auto.value" name="auto-value-annotations" rev="1.7.4" conf="build->default; contrib->sources"/>
<!-- Annotations we use for @Nullable etc. -->
- <dependency org="org.checkerframework" name="checker-qual" rev="3.5.0" conf="core->default; contrib->sources"/>
+ <dependency org="org.checkerframework" name="checker-qual" rev="3.6.0" conf="core->default; contrib->sources"/>
<!-- JUnit
Testing framework. -->
@@ -129,17 +129,17 @@ SPDX-License-Identifier: Apache-2.0
<!-- google-java-format
A source-code formatter for Java -->
- <dependency org="com.google.googlejavaformat" name="google-java-format" rev="1.8" conf="format-source->default"/>
+ <dependency org="com.google.googlejavaformat" name="google-java-format" rev="1.9" conf="format-source->default"/>
<!-- SpotBugs -->
- <dependency org="com.github.spotbugs" name="spotbugs-ant" rev="4.0.6" conf="spotbugs->default"/>
+ <dependency org="com.github.spotbugs" name="spotbugs-ant" rev="4.1.2" 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="4.0.6" conf="core->default; contrib->sources"/>
+ <dependency org="com.github.spotbugs" name="spotbugs-annotations" rev="4.1.2" conf="core->default; contrib->sources"/>
<dependency org="com.google.code.findbugs" name="jsr305" rev="3.0.2" conf="core->default; contrib->sources"/>
<!-- Checkstyle -->
<dependency org="com.github.sevntu-checkstyle" name="sevntu-checks" rev="1.37.1" conf="checkstyle->default"/>
- <dependency org="com.puppycrawl.tools" name="checkstyle" rev="8.34" conf="checkstyle->default"/>
+ <dependency org="com.puppycrawl.tools" name="checkstyle" rev="8.36" conf="checkstyle->default"/>
<!-- SmtInterpol -->
<dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-715-g3a7695dc" conf="runtime-smtinterpol->master; contrib->sources"/>
