src/Pure/build-jars

--- a/src/Pure/build-jars	Wed Jun 28 14:17:05 2017 +0200
+++ b/src/Pure/build-jars	Thu Jun 29 11:36:25 2017 +0200
@@ -172,6 +172,7 @@
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala
   ../Tools/VSCode/src/state_panel.scala
+  ../Tools/VSCode/src/vscode_javascript.scala
   ../Tools/VSCode/src/vscode_rendering.scala
   ../Tools/VSCode/src/vscode_resources.scala
   ../Tools/VSCode/src/vscode_spell_checker.scala