From 0d3b9d610a9367785ad0956f0f620fa2d24c6da6 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Tue, 5 Sep 2023 10:30:46 +0200
Subject: [PATCH] Codespaces changed location of its Java installation. (#5615)

---
 .devcontainer/tlaplus/devcontainer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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