--- a/src/Pure/build-jars Mon Dec 10 23:36:29 2018 +0100
+++ b/src/Pure/build-jars Tue Dec 11 19:25:35 2018 +0100
@@ -89,6 +89,7 @@
ML/ml_process.scala
ML/ml_statistics.scala
ML/ml_syntax.scala
+ PIDE/byte_message.scala
PIDE/command.scala
PIDE/command_span.scala
PIDE/document.scala