src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Apr 03 19:47:29 2016 +0200
+++ b/src/Pure/build-jars	Sun Apr 03 21:32:57 2016 +0200
@@ -81,6 +81,7 @@
   System/isabelle_charset.scala
   System/isabelle_process.scala
   System/isabelle_system.scala
+  System/isabelle_tool.scala
   System/options.scala
   System/platform.scala
   System/posix_interrupt.scala