From f73be6ed392024640df6163eb68e0f18f27e629c Mon Sep 17 00:00:00 2001
From: Lucas Welscher <ga53foy@mytum.de>
Date: Mon, 12 Dec 2022 13:34:36 +0100
Subject: [PATCH] Update to Ares 1.11.1, add checker framework (#114)

---
 artemis-java-template/build.gradle |  6 ++++--
 artemis-java-template/pom.xml      | 16 ++++++++--------
 2 files changed, 12 insertions(+), 10 deletions(-)

diff --git a/artemis-java-template/build.gradle b/artemis-java-template/build.gradle
index 7903a1a..a60a12c 100644
--- 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
index 1ff99cb..15b130f 100644
--- 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>