Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jdk-17.0.2+8"
Unknown JAVA_HOME -- Java unavailable
Getting "https://isabelle.sketis.net/components/jdk-17.0.2+8.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jdk-17.0.2+8.tar.gz"