src/Pure/build-jars

--- a/src/Pure/build-jars	Sat Mar 11 22:19:22 2017 +0100
+++ b/src/Pure/build-jars	Sat Mar 11 23:12:55 2017 +0100
@@ -164,6 +164,7 @@
   ../Tools/VSCode/src/build_vscode.scala
   ../Tools/VSCode/src/channel.scala
   ../Tools/VSCode/src/document_model.scala
+  ../Tools/VSCode/src/dynamic_output.scala
   ../Tools/VSCode/src/grammar.scala
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala