From b6ebfc537e06e4a0c9e7b59279f35ad81e5e7255 Mon Sep 17 00:00:00 2001
From: Michael Vorburger <vorburger@google.com>
Date: Thu, 26 Feb 2026 14:40:56 +0000
Subject: [PATCH] chore: Add a suitable devcontainer.json

Primarily so that "it just works" (which it does not, without this, because of a Java version mismatch).
---
 .devcontainer/devcontainer.json | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 000000000..e1ff3efcc
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,28 @@
+{
+  "name": "Java 17",
+  "image": "mcr.microsoft.com/devcontainers/java:1-17-bullseye",
+  "features": {
+    "ghcr.io/devcontainers/features/github-cli:1": {},
+    "ghcr.io/devcontainers/features/git-lfs:1": {}
+  },
+  "customizations": {
+    "vscode": {
+      "extensions": [
+        "extension-pack-for-java",
+        "redhat.vscode-xml",
+        "rangav.vscode-thunder-client"
+      ],
+      "settings": {
+        "java.jdt.download.server": "latest",
+        "java.help.firstView": "none",
+        "java.showBuildStatusOnStart": "notification",
+        "java.configuration.updateBuildConfiguration": "interactive",
+        "java.autobuild.enabled": true,
+        "terminal.integrated.focusOnOutput": false
+      }
+    }
+  },
+  "remoteUser": "vscode",
+  "forwardPorts": [8000, 8080, 8081, 8082],
+  "postCreateCommand": "git config --global credential.helper '!gh auth git-credential' && git config --global lfs.locksverify false"
+}