diff -r 922273b7bf8a -r c0c5652e796e src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Aug 11 22:59:38 2014 +0200
+++ b/src/Pure/build-jars	Tue Aug 12 00:08:32 2014 +0200
@@ -54,6 +54,7 @@
   Isar/token.scala
   ML/ml_lex.scala
   PIDE/command.scala
+  PIDE/command_span.scala
   PIDE/document.scala
   PIDE/document_id.scala
   PIDE/editor.scala