diff --git a/.devcontainer/tlaplus/devcontainer.json b/.devcontainer/tlaplus/devcontainer.json
index 09e88c7d3342..ec5ab82809c1 100644
--- 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