Codespaces changed location of its Java installation. (microsoft#5615)

jumaffre · Sep 5, 2023 · 0d3b9d6 · 0d3b9d6
1 parent c89ca65
commit 0d3b9d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.devcontainer/tlaplus/devcontainer.json b/.devcontainer/tlaplus/devcontainer.json
@@ -9,7 +9,7 @@
   "settings": {
     "tlaplus.tlc.statisticsSharing": "share",
     "tlaplus.java.options": "-XX:+UseParallelGC",
-    "tlaplus.java.home": "/home/codespace/.java/current/",
+    "tlaplus.java.home": "/home/codespace/java/current/",
     "[tlaplus]": {
       "editor.codeActionsOnSave": {
         "source": true