proper symbolic handle on component resources:
diff -r ci-extras-1/etc/settings ci-extras-2/etc/settings
1c1,4

< classpath "$COMPONENT/lib/ci-extras.jar"

#-*- shell-script -*- :mode=shellscript:

ISABELLE_CI_EXTRAS_JAR="$COMPONENT/lib/ci-extras.jar"
classpath "$ISABELLE_CI_EXTRAS_JAR"

diff -r ci-extras-1/README ci-extras-2/README
11a12

Makarius, 02-Feb-2023