update jdk17 from jdk11
Browse files- packages.txt +1 -1
- spice.py +2 -0
packages.txt
CHANGED
|
@@ -1 +1 @@
|
|
| 1 |
-
openjdk-
|
|
|
|
| 1 |
+
openjdk-17-jdk
|
spice.py
CHANGED
|
@@ -202,6 +202,8 @@ class SPICE(evaluate.Metric):
|
|
| 202 |
with tempfile.TemporaryDirectory() as cache_dir:
|
| 203 |
spice_cmd = [
|
| 204 |
"java",
|
|
|
|
|
|
|
| 205 |
"-jar",
|
| 206 |
"-Xmx8G",
|
| 207 |
SPICE_JAR,
|
|
|
|
| 202 |
with tempfile.TemporaryDirectory() as cache_dir:
|
| 203 |
spice_cmd = [
|
| 204 |
"java",
|
| 205 |
+
"--add-opens",
|
| 206 |
+
"java.base/java.lang=ALL-UNNAMED",
|
| 207 |
"-jar",
|
| 208 |
"-Xmx8G",
|
| 209 |
SPICE_JAR,
|