Fix pep-ppp-prod Java feature: switch JDK distro from ms to tem

[applegath-verily]

Problem

The pep-ppp-prod devcontainer build fails during startup on every prod instance, so the app container is never produced and the app never reaches RUNNING. Observed across all three prod recreation attempts (06/10 → 06/11 → 08/25) in workspace ppp-prepep-consolidated-ws.

Startup log excerpt:

Check if OpenJDK is available for version 17 for ms Distro
JDK version 17 is available in ms...
JDK_DISTRO: ms
Version 17 not found. Available versions:

ERROR: Feature "Java (via SDKMAN!)" (Unknown) failed to install!

Root cause

The Java (via SDKMAN!) feature was pinned to version: "17" with the default jdkDistro: "ms" (Microsoft Build of OpenJDK). SDKMAN no longer resolves a bare 17 for the ms distro (Microsoft has wound down that build), so the feature install exits 1, docker-compose build app fails, and the devcontainer build aborts. Resource metrics during the build were clean (no OOM/disk pressure), and WSM/control-plane provisioned the VM successfully every time — the failure is entirely in the in-VM devcontainer build step.

Fix

Pin jdkDistro to Temurin (tem), the maintained Eclipse Adoptium LTS build, which resolves version 17 reliably.

     "ghcr.io/devcontainers/features/java:1.6.3": {
-      "version": "17"
+      "version": "17",
+      "jdkDistro": "tem"
     },

🤖 Generated with Claude Code