Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Sun Feb 28 15:43:56 2016 +0100
+++ b/Admin/Release/CHECKLIST	Sun Feb 28 15:57:03 2016 +0100
@@ -12,7 +12,7 @@
 - test "#!/usr/bin/env isabelle_scala_script";
 
 - check sources:
-    isabelle java isabelle.Check_Source '~~' '$AFP_BASE'
+    isabelle check_sources '~~' '$AFP_BASE'
 
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;