src/Pure/build-jars

--- a/src/Pure/build-jars	Tue Mar 07 13:55:49 2017 +0100
+++ b/src/Pure/build-jars	Tue Mar 07 14:33:14 2017 +0100
@@ -139,6 +139,7 @@
   Tools/print_operation.scala
   Tools/profiling_report.scala
   Tools/simplifier_trace.scala
+  Tools/spell_checker.scala
   Tools/task_statistics.scala
   Tools/update_cartouches.scala
   Tools/update_header.scala