Admin/Release/CHECKLIST

--- a/Admin/Release/CHECKLIST	Mon Oct 24 12:01:36 2016 +0200
+++ b/Admin/Release/CHECKLIST	Mon Oct 24 12:16:12 2016 +0200
@@ -36,9 +36,6 @@
 
 - HTML library: check theory dependencies (PDF);
 
-- test separate compilation of Isabelle/Scala PIDE sources:
-    Admin/build jars_test
-
 - test Isabelle/jEdit:
     . print buffer
     . on single-core