proper isabelle.setup.Setup build;

--- a/Admin/cronjob/main	Sat Jul 17 21:56:39 2021 +0200
+++ b/Admin/cronjob/main	Sat Jul 17 22:12:06 2021 +0200
@@ -8,6 +8,5 @@
 source "$HOME/.bashrc"
 
 export ISABELLE_IDENTIFIER="cronjob"
-"$THIS/../build" jars_fresh || exit $?
-
+env ISABELLE_SETUP_CLASSPATH_SKIP=true "$THIS/../../bin/isabelle" java isabelle.setup.Setup build > /dev/null || exit $?
 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"