#!/usr/bin/env bash
# Where the three JDKs live. Override with environment variables; nothing else is hard-coded.
: "${JDK25:=/tmp/tools/j25/jdk-25.0.4.1+1}"
: "${JDK26:=$(ls -d /tmp/tools/j26/jdk-26* 2>/dev/null | head -1)}"
: "${JDK27:=/tmp/tools/j27/jdk-27+35}"
export JDK25 JDK26 JDK27
# The runs must not inherit proxy/trust-store options meant for Maven.
unset JAVA_TOOL_OPTIONS JDK_JAVA_OPTIONS _JAVA_OPTIONS