bump AutomataLib version

Author: mtf90

examples/src/main/java/de/learnlib/example/aaar/AlternatingBitExampleExplicit.java

@@ -56,7 +56,7 @@ private AlternatingBitExampleExplicit() {
         // prevent instantiation
     }
 
-    public static void main(String[] args) throws IOException {
+    public static void main(String[] args) throws IOException, InterruptedException {
 
         final Protocol mqo = new Protocol();
 
@@ -86,7 +86,7 @@ public static void main(String[] args) throws IOException {
     }
 
     private static <AI, CI, O> void printInfo(ExplicitAAARLearnerMealy<? extends OTLearnerMealy<CI, O>, AI, CI, O> learner)
-            throws IOException {
+            throws IOException, InterruptedException {
 
         System.out.println("-------------------------------------------------------");
         new ObservationTableASCIIWriter<>().write(learner.getLearner().getObservationTable(), System.out);

examples/src/main/java/de/learnlib/example/aaar/AlternatingBitExampleGeneric.java

@@ -50,7 +50,7 @@ private AlternatingBitExampleGeneric() {
         // prevent instantiation
     }
 
-    public static void main(String[] args) throws IOException {
+    public static void main(String[] args) throws IOException, InterruptedException {
 
         final Protocol mqo = new Protocol();
 
@@ -79,7 +79,7 @@ public static void main(String[] args) throws IOException {
     }
 
     private static <AI, CI, O> void printInfo(GenericAAARLearnerMealy<? extends OTLearnerMealy<CI, O>, AI, CI, O> learner)
-            throws IOException {
+            throws IOException, InterruptedException {
 
         System.out.println("-------------------------------------------------------");
         new ObservationTableASCIIWriter<>().write(learner.getLearner().getObservationTable(), System.out);

examples/src/test/java/de/learnlib/example/ExamplesTest.java

@@ -27,7 +27,6 @@
 
 import de.learnlib.example.aaar.AlternatingBitExampleExplicit;
 import de.learnlib.example.aaar.AlternatingBitExampleGeneric;
-import net.automatalib.common.util.system.JVMUtil;
 import net.automatalib.modelchecker.ltsmin.LTSminUtil;
 import net.automatalib.modelchecker.ltsmin.LTSminVersion;
 import org.mockito.MockedStatic;
@@ -61,7 +60,7 @@ public void testAAARAlternatingBitExampleGeneric() throws InterruptedException,
         SwingUtilities.invokeAndWait(() -> {
             try {
                 AlternatingBitExampleGeneric.main(new String[0]);
-            } catch (IOException e) {
+            } catch (IOException | InterruptedException e) {
                 throw new RuntimeException(e);
             }
         });
@@ -73,7 +72,7 @@ public void testAAARAlternatingBitExampleExplicit() throws InterruptedException,
         SwingUtilities.invokeAndWait(() -> {
             try {
                 AlternatingBitExampleExplicit.main(new String[0]);
-            } catch (IOException e) {
+            } catch (IOException | InterruptedException e) {
                 throw new RuntimeException(e);
             }
         });
@@ -174,11 +173,11 @@ public void testExample3() throws InvocationTargetException, InterruptedExceptio
     }
 
     private static boolean isJVMCompatible() {
-        return JVMUtil.getCanonicalSpecVersion() == 11;
+        return Runtime.version().feature() == 11;
     }
 
     private static void requireJVMCompatibility() {
-        if (JVMUtil.getCanonicalSpecVersion() != 11) {
+        if (Runtime.version().feature() != 11) {
             throw new SkipException("The headless AWT environment currently only works with Java 11 or <=8");
         }
     }

pom.xml

@@ -250,7 +250,7 @@ limitations under the License.
         <tidy-pom.version>1.3.0</tidy-pom.version>
 
         <!-- dependency versions -->
-        <automatalib.version>0.12.0</automatalib.version>
+        <automatalib.version>0.13.0-SNAPSHOT</automatalib.version>
         <build-tools.version>0.1.1</build-tools.version>
         <cacio.version>1.11.1</cacio.version>
         <checkerframework.version>3.48.3</checkerframework.version>