src/Pure/build-jars

--- a/src/Pure/build-jars	Tue Dec 20 21:35:56 2016 +0100
+++ b/src/Pure/build-jars	Tue Dec 20 22:24:16 2016 +0100
@@ -94,6 +94,7 @@
   PIDE/protocol_message.scala
   PIDE/prover.scala
   PIDE/query_operation.scala
+  PIDE/rendering.scala
   PIDE/resources.scala
   PIDE/session.scala
   PIDE/text.scala
@@ -162,6 +163,7 @@
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala
   ../Tools/VSCode/src/uri_resources.scala
+  ../Tools/VSCode/src/vscode_rendering.scala
 )