--- a/src/Pure/build-jars Mon Mar 13 20:33:42 2017 +0100
+++ b/src/Pure/build-jars Mon Mar 13 21:37:35 2017 +0100
@@ -94,6 +94,7 @@
PIDE/markup.scala
PIDE/markup_tree.scala
PIDE/protocol.scala
+ PIDE/protocol_handlers.scala
PIDE/protocol_message.scala
PIDE/prover.scala
PIDE/query_operation.scala