src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Jan 01 23:08:39 2017 +0100
+++ b/src/Pure/build-jars	Sun Jan 01 23:19:34 2017 +0100
@@ -160,6 +160,7 @@
   ../Tools/Graphview/tree_panel.scala
   ../Tools/VSCode/src/channel.scala
   ../Tools/VSCode/src/document_model.scala
+  ../Tools/VSCode/src/grammar.scala
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala
   ../Tools/VSCode/src/vscode_rendering.scala