--- a/src/Pure/build-jars Sun Mar 15 23:46:00 2015 +0100
+++ b/src/Pure/build-jars Mon Mar 16 11:07:56 2015 +0100
@@ -64,6 +64,7 @@
PIDE/markup.scala
PIDE/markup_tree.scala
PIDE/protocol.scala
+ PIDE/protocol_message.scala
PIDE/prover.scala
PIDE/query_operation.scala
PIDE/resources.scala