cleanups

Author: mtf90

CHANGELOG.md

@@ -13,6 +13,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 ### Removed
 
 * `IOUtil#copy(Reader, Writer)` has been removed. Use `Reader#transferTo(Writer)` instead.
+* `JVMUtil` has been removed. Use `Runtime.version().feature()` for its previously (only) provided method.
 
 
 ## [0.12.1] - 2025-03-11

commons/util/src/main/java/module-info.java

@@ -50,5 +50,4 @@
     exports net.automatalib.common.util.ref;
     exports net.automatalib.common.util.setting;
     exports net.automatalib.common.util.string;
-    exports net.automatalib.common.util.system;
 }

commons/util/src/main/java/net/automatalib/common/util/system/JVMUtil.java

@@ -137,19 +137,6 @@ limitations under the License.
                         </systemPropertyVariables>
                     </configuration>
                 </plugin>
-                <plugin>
-                    <groupId>org.apache.maven.plugins</groupId>
-                    <artifactId>maven-enforcer-plugin</artifactId>
-                    <configuration>
-                        <rules>
-                            <enforceBytecodeVersion>
-                                <excludes>
-                                    <exclude>ch.qos.logback:*</exclude>
-                                </excludes>
-                            </enforceBytecodeVersion>
-                        </rules>
-                    </configuration>
-                </plugin>
             </plugins>
         </pluginManagement>
     </build>

examples/pom.xml

@@ -24,7 +24,6 @@
 
 import javax.swing.SwingUtilities;
 
-import net.automatalib.common.util.system.JVMUtil;
 import net.automatalib.example.ads.ADSExample;
 import net.automatalib.example.brics.SimpleBricsExample;
 import net.automatalib.example.dot.DOTExample;
@@ -152,7 +151,7 @@ public void testOneSEVPAExample() throws InvocationTargetException, InterruptedE
     }
 
     private static boolean isJVMCompatible() {
-        return JVMUtil.getCanonicalSpecVersion() == 11;
+        return Runtime.version().feature() == 11;
     }
 
     private static void requireJVMCompatibility() {

examples/src/test/java/net/automatalib/example/ExamplesTest.java

@@ -15,7 +15,6 @@
  */
 package net.automatalib.visualization.dot;
 
-import net.automatalib.common.util.system.JVMUtil;
 import org.assertj.swing.testng.testcase.AssertJSwingTestngTestCase;
 import org.testng.IInvokedMethod;
 import org.testng.IInvokedMethodListener;
@@ -30,7 +29,7 @@ public class DOTDialogListener implements IInvokedMethodListener {
 
     @Override
     public void beforeInvocation(IInvokedMethod method, ITestResult testResult) {
-        if (!(DOT.checkUsable() && JVMUtil.getCanonicalSpecVersion() == 11)) {
+        if (!(DOT.checkUsable() && Runtime.version().feature() == 11)) {
             testResult.setThrowable(new SkipException(
                     "Either DOT is not available or the headless AWT environment is not supported"));
             testResult.setStatus(ITestResult.SKIP);

visualization/dot-visualizer/src/test/java/net/automatalib/visualization/dot/DOTDialogListener.java

@@ -25,7 +25,6 @@
 import javax.swing.SwingUtilities;
 
 import net.automatalib.common.util.Pair;
-import net.automatalib.common.util.system.JVMUtil;
 import org.testng.SkipException;
 import org.testng.annotations.BeforeClass;
 import org.testng.annotations.Test;
@@ -44,7 +43,7 @@ public void checkDOT() {
     @Test(timeOut = 30000)
     public void testFrame() throws InvocationTargetException, InterruptedException {
 
-        if (!(JVMUtil.getCanonicalSpecVersion() == 11)) {
+        if (!(Runtime.version().feature() == 11)) {
             throw new SkipException("The headless AWT environment currently only works with Java 11 or <=8");
         }
 
@@ -68,7 +67,7 @@ public void testFrame() throws InvocationTargetException, InterruptedException {
     @Test(timeOut = 30000)
     public void testEmptyFrame() throws InvocationTargetException, InterruptedException {
 
-        if (!(JVMUtil.getCanonicalSpecVersion() == 11)) {
+        if (!(Runtime.version().feature() == 11)) {
             throw new SkipException("The headless AWT environment currently only works with Java 11 or <=8");
         }
 

visualization/dot-visualizer/src/test/java/net/automatalib/visualization/dot/DOTMultiDialogTest.java

@@ -21,7 +21,6 @@
 import javax.swing.SwingUtilities;
 
 import net.automatalib.automaton.fsa.impl.CompactDFA;
-import net.automatalib.common.util.system.JVMUtil;
 import net.automatalib.visualization.VPManager;
 import net.automatalib.visualization.Visualization;
 import net.automatalib.visualization.VisualizationProvider;
@@ -58,7 +57,7 @@ public void testProviderConfiguration() {
     @Test(dependsOnMethods = "testProviderConfiguration", timeOut = 10000)
     public void testDisplay() throws InterruptedException, InvocationTargetException {
 
-        if (!(JVMUtil.getCanonicalSpecVersion() == 11)) {
+        if (!(Runtime.version().feature() == 11)) {
             throw new SkipException("The headless AWT environment currently only works with Java 11 or <=8");
         }
 

visualization/dot-visualizer/src/test/java/net/automatalib/visualization/dot/ProviderTest.java

@@ -23,7 +23,6 @@
 
 import net.automatalib.alphabet.impl.Alphabets;
 import net.automatalib.automaton.fsa.impl.CompactDFA;
-import net.automatalib.common.util.system.JVMUtil;
 import net.automatalib.util.automaton.random.RandomAutomata;
 import net.automatalib.visualization.VPManager;
 import net.automatalib.visualization.Visualization;
@@ -50,7 +49,7 @@ public void testProviderConfiguration() {
     @Test(dependsOnMethods = "testProviderConfiguration", timeOut = 30000)
     public void testDisplay() throws InterruptedException, InvocationTargetException {
 
-        if (!(JVMUtil.getCanonicalSpecVersion() == 11)) {
+        if (!(Runtime.version().feature() == 11)) {
             throw new SkipException("The headless AWT environment currently only works with Java 11 or <=8");
         }