diff -r b6a224676c04 -r 99dd8b4ef3fe src/Pure/build-jars
--- a/src/Pure/build-jars	Fri Jul 05 14:09:06 2013 +0200
+++ b/src/Pure/build-jars	Fri Jul 05 15:38:03 2013 +0200
@@ -33,6 +33,7 @@
   Isar/token.scala
   PIDE/command.scala
   PIDE/document.scala
+  PIDE/document_id.scala
   PIDE/markup.scala
   PIDE/markup_tree.scala
   PIDE/protocol.scala