diff -r e15fbb37a405 -r 0631dfc0db07 src/Pure/Admin/component_jdk.scala
--- a/src/Pure/Admin/component_jdk.scala	Tue Jan 30 22:43:10 2024 +0100
+++ b/src/Pure/Admin/component_jdk.scala	Wed Jan 31 12:43:06 2024 +0100
@@ -91,15 +91,15 @@
 
     component_dir.write_settings("""
 case "$ISABELLE_PLATFORM_FAMILY" in
-  linux)
+  linux*)
     ISABELLE_JAVA_PLATFORM="$ISABELLE_PLATFORM64"
     ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
     ;;
-  windows)
+  windows*)
     ISABELLE_JAVA_PLATFORM="$ISABELLE_WINDOWS_PLATFORM64"
     ISABELLE_JDK_HOME="$COMPONENT/$ISABELLE_JAVA_PLATFORM"
     ;;
-  macos)
+  macos*)
     if [ -n "$ISABELLE_APPLE_PLATFORM64" -a -d "$COMPONENT/$ISABELLE_APPLE_PLATFORM64" ]
     then
       ISABELLE_JAVA_PLATFORM="$ISABELLE_APPLE_PLATFORM64"