Prevent Java version detection from throwing

Author: kev626

patches/api/0004-Add-SIMD-utilities.patch

@@ -62,14 +62,12 @@ index 0000000000000000000000000000000000000000..77cf83bd096bbf6bfa7e510d97716b51
 +}
 diff --git a/src/main/java/gg/pufferfish/pufferfish/simd/SIMDDetection.java b/src/main/java/gg/pufferfish/pufferfish/simd/SIMDDetection.java
 new file mode 100644
-index 0000000000000000000000000000000000000000..1bbec0b032a4765f5e55a1475a1b7401f72164e7
+index 0000000000000000000000000000000000000000..c6a7f59b246ab9a8f3c7ac895287ed71a28a6aaa
 --- /dev/null
 +++ b/src/main/java/gg/pufferfish/pufferfish/simd/SIMDDetection.java
 @@ -0,0 +1,32 @@
 +package gg.pufferfish.pufferfish.simd;
 +
-+import jdk.incubator.vector.IntVector;
-+
 +@Deprecated
 +public class SIMDDetection {
 +	
@@ -94,7 +92,9 @@ index 0000000000000000000000000000000000000000..1bbec0b032a4765f5e55a1475a1b7401
 +		} else {
 +			int dot = version.indexOf(".");
 +			if(dot != -1) { version = version.substring(0, dot); }
-+		} return Integer.parseInt(version);
++		}
++		version = version.split("-")[0]; // Azul is stupid
++		return Integer.parseInt(version);
 +	}
 +	
 +}

patches/server/0004-Add-SIMD-utilities.patch

@@ -23,7 +23,7 @@ index 5e494f3ca75958efb0aa53ec556e2ad4b03001bd..5676fcb8533b2d0d46108d5730abe955
      archiveClassifier.set("dev")
 
 diff --git a/src/main/java/gg/pufferfish/pufferfish/PufferfishConfig.java b/src/main/java/gg/pufferfish/pufferfish/PufferfishConfig.java
-index f81a4985a24520ab5c7dce0b49a864e09c01e5b7..fc36ab62fa03f65644acbb8349641bbc3460730f 100644
+index f81a4985a24520ab5c7dce0b49a864e09c01e5b7..c1ba6068408dc7f40b549ae3c22b876b28017c35 100644
 --- a/src/main/java/gg/pufferfish/pufferfish/PufferfishConfig.java
 +++ b/src/main/java/gg/pufferfish/pufferfish/PufferfishConfig.java
 @@ -1,5 +1,6 @@
@@ -42,7 +42,7 @@ index f81a4985a24520ab5c7dce0b49a864e09c01e5b7..fc36ab62fa03f65644acbb8349641bbc
 +		try {
 +			SIMDDetection.isEnabled = SIMDDetection.canEnable();
 +			SIMDDetection.versionLimited = SIMDDetection.getJavaVersion() != 17;
-+		} catch (NoClassDefFoundError ignored) {}
++		} catch (NoClassDefFoundError | Exception ignored) {}
 +		
 +		if (SIMDDetection.isEnabled) {
 +			PufferfishLogger.LOGGER.info("SIMD operations detected as functional. Will replace some operations with faster versions.");