src/Pure/build-jars

--- a/src/Pure/build-jars	Tue Mar 13 18:40:25 2018 +0100
+++ b/src/Pure/build-jars	Tue Mar 13 19:34:42 2018 +0100
@@ -147,6 +147,7 @@
   Tools/print_operation.scala
   Tools/profiling_report.scala
   Tools/server.scala
+  Tools/server_commands.scala
   Tools/simplifier_trace.scala
   Tools/spell_checker.scala
   Tools/task_statistics.scala