diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_header
--- a/lib/Tools/update_header	Thu Mar 10 22:21:01 2016 +0100
+++ b/lib/Tools/update_header	Thu Mar 10 22:49:15 2016 +0100
@@ -6,4 +6,4 @@
 
 isabelle_admin_build jars || exit $?
 
-isabelle java isabelle.Update_Header "$@"
+exec isabelle java isabelle.Update_Header "$@"