Clean up and rework dependencies in pom files

.github/workflows/dependency_analysis.yml

@@ -0,0 +1,29 @@
+name: Maven Dependency Check
+description: Runs Maven's dependency analysis to identify unused and undeclared dependencies and fails the build if there are any warnings.
+
+on: [pull_request, workflow_dispatch]
+
+jobs:
+  analyze-dependencies:
+    runs-on: ubuntu-latest
+    name: Analyze Dependencies
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+      # Set up Java version
+      - name: Set up Java 11
+        uses: actions/setup-java@v4
+        with:
+          distribution: adopt
+          java-package: jdk
+          java-version: 11
+      # Restores Maven dependencies
+      - name: Restore local Maven repository
+        uses: actions/cache@v4
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+      - name: Run dependency analysis
+        run: mvn dependency:analyze -DfailOnWarning

PDS/pom.xml

@@ -23,5 +23,4 @@
     <properties>
         <license.dir>${project.parent.basedir}</license.dir>
     </properties>
-
 </project>

SparseBoomerangCorrectness/src/test/java/test/aliasing/pointerbench/BasicTest.java

@@ -5,7 +5,6 @@
 import test.aliasing.AliasingTestSetUp;
 
 public class BasicTest extends AliasingTestSetUp {
-
   @Test
   public void branching1() {
     String queryLHS = "a_q1";

SynchronizedPDS/pom.xml

@@ -28,14 +28,39 @@
         <dependency>
             <groupId>de.fraunhofer.iem</groupId>
             <artifactId>WPDS</artifactId>
+            <version>${project.version}</version>
         </dependency>
         <dependency>
             <groupId>de.fraunhofer.iem</groupId>
             <artifactId>PDS</artifactId>
+            <version>${project.version}</version>
         </dependency>
         <dependency>
-            <groupId>junit</groupId>
-            <artifactId>junit</artifactId>
+            <groupId>com.google.guava</groupId>
+            <artifactId>guava</artifactId>
+            <version>${guava.version}</version>
+        </dependency>
+        <dependency>
+            <groupId>org.jspecify</groupId>
+            <artifactId>jspecify</artifactId>
+            <version>${jspecify.version}</version>
+        </dependency>
+
+        <dependency>
+            <groupId>org.slf4j</groupId>
+            <artifactId>slf4j-api</artifactId>
+        </dependency>
+        <dependency>
+            <groupId>org.slf4j</groupId>
+            <artifactId>slf4j-simple</artifactId>
+        </dependency>
+        <dependency>
+            <groupId>org.junit.jupiter</groupId>
+            <artifactId>junit-jupiter-api</artifactId>
+        </dependency>
+        <dependency>
+            <groupId>org.junit.jupiter</groupId>
+            <artifactId>junit-jupiter-engine</artifactId>
         </dependency>
     </dependencies>
 </project>