diff -r ea4f5b0ef497 -r 21164fd15e3d lib/scripts/getsettings
--- a/lib/scripts/getsettings	Wed Jul 06 13:08:33 2022 +0200
+++ b/lib/scripts/getsettings	Tue Jul 05 13:12:04 2022 +0200
@@ -130,7 +130,7 @@
 fi
 
 if [ -e "$ISABELLE_SETUP_JAR" ]; then
-  ISABELLE_SETUP_CLASSPATH="$(isabelle_jdk java -classpath "$(platform_path "$ISABELLE_SETUP_JAR")" isabelle.setup.Setup classpath)"
+  ISABELLE_SETUP_CLASSPATH="$(isabelle_jdk java -classpath "$(platform_path "$SCALA_INTERFACES:$ISABELLE_SETUP_JAR")" isabelle.setup.Setup classpath)"
 fi
 
 set +o allexport