diff -r bbf43b7c4d0d -r 1380bf90d986 Admin/cronjob/main
--- a/Admin/cronjob/main	Tue Oct 11 20:20:32 2016 +0200
+++ b/Admin/cronjob/main	Tue Oct 11 20:31:13 2016 +0200
@@ -6,6 +6,6 @@
 
 source "$HOME/.bashrc"
 
-"$THIS/../build" jars || exit $?
+"$THIS/../build" jars_fresh || exit $?
 
 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"