Merge branch 'jna_update' into 'master'

JNA: Update to 5.13.0 for ARM compatibility

See merge request !471

graphminimize/build.gradle

@@ -28,7 +28,7 @@ dependencies {
     compileOnly name: 'commons-codec-1.10'
     compileOnly name: 'jsoup-1.8.1'
     compileOnly name: 'jautomata-core'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     compileOnly name: 'commons-math3-3.6.1'
     compileOnly name: 'jfreechart-1.6.0'
     implementation name: 'batik-all-1.14'

graphshow/build.gradle

@@ -23,7 +23,7 @@ dependencies {
     compileOnly name: 'commons-codec-1.10'
     compileOnly name: 'jsoup-1.8.1'
     implementation name: 'jautomata-core'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     implementation name: 'commons-math3-3.6.1'
     implementation name: 'jfreechart-1.6.0'
     implementation name: 'batik-all-1.14'

launcher/build.gradle

@@ -16,7 +16,7 @@ dependencies {
     implementation name: 'commons-codec-1.10'
     compileOnly name: 'commons-io-2.5'
     compileOnly name: 'jsoup-1.8.1'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     implementation name: 'commons-math3-3.6.1'
     implementation name: 'jfreechart-1.6.0'
     implementation name: 'json-java'

rundse/build.gradle

@@ -36,7 +36,7 @@ dependencies {
 
     implementation name:'jautomata-core'
     implementation name:'com.microsoft.z3'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     implementation name: 'jgrapht-core-1.3.0'
     implementation name: 'jgrapht-ext-1.3.0'
     implementation name: 'jgrapht-io-1.3.0'

src/main/java/myutil/RawConsoleInput.java

@@ -196,7 +196,7 @@ public class RawConsoleInput {
 
     private static class Kernel32Defs {
         static final int STD_INPUT_HANDLE = -10;
-        static final long INVALID_HANDLE_VALUE = (Pointer.SIZE == 8) ? -1 : 0xFFFFFFFFL;
+        static final long INVALID_HANDLE_VALUE = (Native.POINTER_SIZE == 8) ? -1 : 0xFFFFFFFFL;
         static final int ENABLE_PROCESSED_INPUT = 0x0001;
         static final int ENABLE_LINE_INPUT = 0x0002;
         static final int ENABLE_ECHO_INPUT = 0x0004;

tiftranslator/build.gradle

@@ -21,7 +21,7 @@ dependencies {
     compileOnly name: 'commons-io-2.5'
     compileOnly name: 'jsoup-1.8.1'
     compileOnly name: 'commons-codec-1.10'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     implementation name: 'commons-math3-3.6.1'
     implementation name: 'jfreechart-1.6.0'
     implementation name: 'json-java'

tmltranslator/build.gradle

@@ -37,7 +37,7 @@ dependencies {
     implementation name: 'commons-math3-3.6.1'
     implementation name: 'jautomata-core'
     implementation name: 'com.microsoft.z3'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     implementation name: 'jgrapht-core-1.3.0'
     implementation name: 'jgrapht-ext-1.3.0'
     implementation name: 'jgrapht-io-1.3.0'

ttool-cli/build.gradle

@@ -47,7 +47,7 @@ implementation name: 'xercesImpl-2.12.0'
     
     implementation name: 'jautomata-core'
     implementation name: 'com.microsoft.z3'
-    implementation name: 'jna-3.3.0'
+    implementation name: 'jna-5.13.0'
     implementation name: 'jgrapht-core-1.3.0'
     implementation name: 'jgrapht-ext-1.3.0'
     implementation name: 'jgrapht-io-1.3.0'

ttool/build.gradle

@@ -51,7 +51,7 @@ dependencies {
     implementation name: 'assertj/assertj-swing/3.8.0/assertj-swing-3.8.0-sources'
     implementation name: 'assertj/assertj-swing-junit/3.8.0/assertj-swing-junit-3.8.0'
     implementation name: 'assertj/assertj-swing-junit/3.8.0/assertj-swing-junit-3.8.0-sources'
-    implementation name: 'jna-3.3.0'
+    implementation name: 'jna-5.13.0'
     implementation name: 'jgrapht-core-1.3.0'
     implementation name: 'jgrapht-ext-1.3.0'
     implementation name: 'jgrapht-io-1.3.0'

webcrawler/client/build.gradle

@@ -23,7 +23,7 @@ dependencies {
     compileOnly name: 'JavaPlot'
     compileOnly name: 'jaxen-1.1.6'
     compileOnly name: 'opencloud'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     implementation name: 'commons-math3-3.6.1'
     implementation name: 'jfreechart-1.6.0'
     implementation name: 'json-java'

webcrawler/server/build.gradle

@@ -23,7 +23,7 @@ dependencies {
     implementation name: 'JavaPlot'
     implementation name: 'jaxen-1.1.6'
     implementation name: 'opencloud'
-    compileOnly name: 'jna-3.3.0'
+    compileOnly name: 'jna-5.13.0'
     implementation name: 'commons-math3-3.6.1'
     implementation name: 'jfreechart-1.6.0'
     implementation name: 'json-java'