Update to Ares 1.11.1, add checker framework (#114)

ls1intum · Dec 12, 2022 · f73be6e · f73be6e
1 parent ea1ee17
commit f73be6e
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 10 deletions.
diff --git a/artemis-java-template/build.gradle b/artemis-java-template/build.gradle
@@ -3,13 +3,15 @@ plugins {
     id 'pmd'
     id 'com.github.spotbugs' version '5.0.13'
     id 'maven-publish'
-    id 'com.teamscale' version '26.0.1'
+    id 'com.teamscale' version '27.0.1'
     id 'org.openjfx.javafxplugin' version '0.0.13'
     id 'org.springframework.boot' version '3.0.0'
     id 'io.spring.dependency-management' version '1.1.0'
+    id 'org.checkerframework' version '0.6.20'
 }
 
 apply plugin: 'java'
+apply plugin: 'org.checkerframework'
 
 repositories {
     mavenCentral()
@@ -18,7 +20,7 @@ repositories {
 }
 
 dependencies {
-    testImplementation 'de.tum.in.ase:artemis-java-test-sandbox:1.11.0'
+    testImplementation 'de.tum.in.ase:artemis-java-test-sandbox:1.11.1'
     implementation 'org.apache.commons:commons-lang3:3.12.0'
 }
 

diff --git a/artemis-java-template/pom.xml b/artemis-java-template/pom.xml
@@ -20,7 +20,7 @@
         <dependency>
             <groupId>de.tum.in.ase</groupId>
             <artifactId>artemis-java-test-sandbox</artifactId>
-            <version>1.11.0</version>
+            <version>1.11.1</version>
         </dependency>
         <dependency>
             <groupId>org.apache.commons</groupId>
@@ -77,7 +77,7 @@
         <dependency>
             <groupId>com.fasterxml.jackson.core</groupId>
             <artifactId>jackson-databind</artifactId>
-            <version>2.14.0</version>
+            <version>2.14.1</version>
         </dependency>
         <dependency>
             <groupId>org.jsonschema2pojo</groupId>
@@ -87,7 +87,7 @@
         <dependency>
             <groupId>org.eclipse.jgit</groupId>
             <artifactId>org.eclipse.jgit</artifactId>
-            <version>6.3.0.202209071007-r</version>
+            <version>6.4.0.202211300538-r</version>
         </dependency>
         <dependency>
             <groupId>org.apache.logging.log4j</groupId>
@@ -117,7 +117,7 @@
         <dependency>
             <groupId>com.konghq</groupId>
             <artifactId>unirest-java</artifactId>
-            <version>3.13.13</version>
+            <version>3.14.1</version>
         </dependency>
         <dependency>
             <groupId>org.easymock</groupId>
@@ -304,7 +304,7 @@
             <plugin>
                 <groupId>com.github.spotbugs</groupId>
                 <artifactId>spotbugs-maven-plugin</artifactId>
-                <version>4.7.2.0</version>
+                <version>4.7.3.0</version>
                 <configuration>
                     <!-- Do not analyze the files in the test directory -->
                     <includeTests>${analyzeTests}</includeTests>
@@ -329,7 +329,7 @@
                     <dependency>
                         <groupId>com.puppycrawl.tools</groupId>
                         <artifactId>checkstyle</artifactId>
-                        <version>10.1</version>
+                        <version>10.5.0</version>
                     </dependency>
                 </dependencies>
                 <configuration>
@@ -351,12 +351,12 @@
                     <dependency>
                         <groupId>net.sourceforge.pmd</groupId>
                         <artifactId>pmd-core</artifactId>
-                        <version>6.49.0</version>
+                        <version>6.52.0</version>
                     </dependency>
                     <dependency>
                         <groupId>net.sourceforge.pmd</groupId>
                         <artifactId>pmd-java</artifactId>
-                        <version>6.49.0</version>
+                        <version>6.52.0</version>
                     </dependency>
                 </dependencies>
                 <configuration>