Update "--add-exports/--add-opens" VM options for Java 19 (#174)

JetBrains · May 4, 2023 · 7cb4d28 · 7cb4d28
1 parent 86e0b23
commit 7cb4d28
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -42,6 +42,7 @@ To use model checking strategy for Java 9 and later, add the following JVM prope
 ```text
 --add-opens java.base/jdk.internal.misc=ALL-UNNAMED
 --add-exports java.base/jdk.internal.util=ALL-UNNAMED
+--add-exports java.base/sun.security.action=ALL-UNNAMED
 ```
 
 They are required if the testing code uses classes from the `java.util` package since
@@ -51,7 +52,11 @@ If you use Gradle, add the following lines to `build.gradle.kts`:
 
 ```
 tasks.withType<Test> {
-    jvmArgs("--add-opens=java.base/jdk.internal.misc=ALL-UNNAMED", "--add-exports=java.base/jdk.internal.util=ALL-UNNAMED")
+    jvmArgs(
+        "--add-opens", "java.base/jdk.internal.misc=ALL-UNNAMED", 
+        "--add-exports", "java.base/jdk.internal.util=ALL-UNNAMED", 
+        "--add-exports", "java.base/sun.security.action=ALL-UNNAMED"
+    )
 }
 ```
 

diff --git a/build.gradle.kts b/build.gradle.kts
@@ -94,7 +94,8 @@ tasks {
         maxParallelForks = 1
         jvmArgs(
             "--add-opens", "java.base/jdk.internal.misc=ALL-UNNAMED",
-            "--add-exports", "java.base/jdk.internal.util=ALL-UNNAMED"
+            "--add-exports", "java.base/jdk.internal.util=ALL-UNNAMED",
+            "--add-exports", "java.base/sun.security.action=ALL-UNNAMED"
         )
     }