src/Pure/build-jars

--- a/src/Pure/build-jars	Tue May 30 21:38:38 2017 +0200
+++ b/src/Pure/build-jars	Tue May 30 22:06:39 2017 +0200
@@ -167,6 +167,7 @@
   ../Tools/VSCode/src/channel.scala
   ../Tools/VSCode/src/document_model.scala
   ../Tools/VSCode/src/dynamic_output.scala
+  ../Tools/VSCode/src/dynamic_preview.scala
   ../Tools/VSCode/src/grammar.scala
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala