cleanups

Author: mtf90

archetypes/basic/src/main/resources/archetype-resources/pom.xml

@@ -11,9 +11,10 @@
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 
-        <!-- AutomataLib requires Java 8 -->
-        <maven.compiler.source>1.8</maven.compiler.source>
-        <maven.compiler.target>1.8</maven.compiler.target>
+        <!-- AutomataLib requires Java 17 -->
+        <maven.compiler.source>17</maven.compiler.source>
+        <maven.compiler.target>17</maven.compiler.target>
+        <maven.compiler.release>17</maven.compiler.release>
 
         <!-- Version of AutomataLib to use -->
         <automatalib.version>${automatalibVersion}</automatalib.version>

archetypes/complete/src/main/resources/archetype-resources/pom.xml

@@ -11,9 +11,10 @@
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 
-        <!-- AutomataLib requires Java 8 -->
-        <maven.compiler.source>1.8</maven.compiler.source>
-        <maven.compiler.target>1.8</maven.compiler.target>
+        <!-- AutomataLib requires Java 17 -->
+        <maven.compiler.source>17</maven.compiler.source>
+        <maven.compiler.target>17</maven.compiler.target>
+        <maven.compiler.release>17</maven.compiler.release>
 
         <!-- Version of AutomataLib to use -->
         <automatalib.version>${automatalibVersion}</automatalib.version>

util/src/test/java/net/automatalib/util/automaton/equivalence/DeterministicEquivalenceTestTest.java

@@ -136,7 +136,7 @@ public void testIssue84Index() {
         testIndexComputation((int size1, int size2) -> new MapRegistry<>(size1));
     }
 
-    private static <I> void testIndexComputation(BiIntFunction<Registry<Integer>> constructor) {
+    private static void testIndexComputation(BiIntFunction<Registry<Integer>> constructor) {
         final int size1 = 3;
         final int size2 = 5;
         final Registry<Integer> registry = constructor.apply(size1, size2);
@@ -178,11 +178,11 @@ private static <I> void testForEmptySepWord(UniversalDeterministicAutomaton<?, I
                                                                                                                       M a2,
                                                                                                                       Alphabet<I> alphabet,
                                                                                                                       boolean equivalent) {
+        // explicitly assign type to (redundant) variables, otherwise javac complains
+        final UniversalDeterministicAutomaton<?, I, ?, ?, ?> m1 = a1;
+        final UniversalDeterministicAutomaton<?, I, ?, ?, ?> m2 = a2;
 
-        final Word<I> separatingWord =
-                DeterministicEquivalenceTest.findSeparatingWord((UniversalDeterministicAutomaton<?, I, ?, ?, ?>) a1,
-                                                                (UniversalDeterministicAutomaton<?, I, ?, ?, ?>) a2,
-                                                                alphabet);
+        final Word<I> separatingWord = DeterministicEquivalenceTest.findSeparatingWord(m1, m2, alphabet);
 
         Assert.assertEquals(equivalent, separatingWord == null);