diff -r 28f59ca8ce78 -r c7afd884dfb2 src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Aug 12 17:11:27 2013 +0200
+++ b/src/Pure/build-jars	Mon Aug 12 17:17:49 2013 +0200
@@ -40,6 +40,7 @@
   PIDE/markup.scala
   PIDE/markup_tree.scala
   PIDE/protocol.scala
+  PIDE/query_operation.scala
   PIDE/text.scala
   PIDE/xml.scala
   PIDE/yxml.scala