diff --git a/graphminimize/build.gradle b/graphminimize/build.gradle
index a96b2cdc43c3cae5c622a5e80da005703375b941..b9cad6811c5ae4b5dda2698570b2abf1d894f3c2 100644
--- a/graphminimize/build.gradle
+++ b/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'
diff --git a/graphshow/build.gradle b/graphshow/build.gradle
index 7cfae83b48a64b0591b6e4b947865319d94e9e6a..c80177d798c5eff5757bc76189a3af0fd5e03b39 100644
--- a/graphshow/build.gradle
+++ b/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'
diff --git a/launcher/build.gradle b/launcher/build.gradle
index 5a88f6c61975608980bf64f75d6f1e4cc3931d6d..b61e19cbfaa97f2d4bafcf147cc97414c7106b93 100644
--- a/launcher/build.gradle
+++ b/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'
diff --git a/libs/jna-3.3.0.jar b/libs/jna-3.3.0.jar
deleted file mode 100644
index 57f31c316865a7d3c184c96ea98547aca3516a25..0000000000000000000000000000000000000000
Binary files a/libs/jna-3.3.0.jar and /dev/null differ
diff --git a/libs/jna-5.13.0.jar b/libs/jna-5.13.0.jar
new file mode 100644
index 0000000000000000000000000000000000000000..3d49c81881ffe0c01bf41fe93954b7f151a89f6a
Binary files /dev/null and b/libs/jna-5.13.0.jar differ
diff --git a/rundse/build.gradle b/rundse/build.gradle
index 0b0b7ccd02a70228afd2b945019d99c36f0742f5..eb49f8c4304e47dcf0b384b712fc24769de55f8e 100644
--- a/rundse/build.gradle
+++ b/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'
diff --git a/src/main/java/myutil/RawConsoleInput.java b/src/main/java/myutil/RawConsoleInput.java
index a0ae8c877cfd1844c41954e242807599f50c924e..d90b239cd2b8d943a4b3d5dfd3fd5eb34ffc5896 100644
--- a/src/main/java/myutil/RawConsoleInput.java
+++ b/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;
diff --git a/tiftranslator/build.gradle b/tiftranslator/build.gradle
index 36c342267821e90ade9b3cc66116e21eb86b5f33..a622f51cb6985ba313a217b25d527563a57738b7 100644
--- a/tiftranslator/build.gradle
+++ b/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'
diff --git a/tmltranslator/build.gradle b/tmltranslator/build.gradle
index 61d653a683d8fed1ba67b39f7ea01b0232f8379e..771fc6144432729ca55314c2fca1bb188e98d7d2 100644
--- a/tmltranslator/build.gradle
+++ b/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'
diff --git a/ttool-cli/build.gradle b/ttool-cli/build.gradle
index 681b99068fac81ce500999966b9e7f3cc6935188..7b90feca37605f164f5643775da5e665c92caea0 100644
--- a/ttool-cli/build.gradle
+++ b/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'
diff --git a/ttool/build.gradle b/ttool/build.gradle
index 0aaa65af230250e8b498e1caecb91e14612d7c14..dc3e7405c2ce30fc8b561b539e6699e0588fc876 100644
--- a/ttool/build.gradle
+++ b/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'
diff --git a/webcrawler/client/build.gradle b/webcrawler/client/build.gradle
index 389fdee413964edec22aa6832fb619ce6a7a9e97..ad1b8615c8f04c441562c1f65da2b98c83a37c6a 100644
--- a/webcrawler/client/build.gradle
+++ b/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'
diff --git a/webcrawler/server/build.gradle b/webcrawler/server/build.gradle
index 98cf4fc26e55d10791aafcc003e170ede4285f2f..965410a33f00f472880c87988265fd3597c27156 100644
--- a/webcrawler/server/build.gradle
+++ b/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'