diff -r 78a1aedd1761 -r 6187612e83c1 src/Pure/build-jars
--- a/src/Pure/build-jars	Fri Jun 16 16:00:44 2017 +0200
+++ b/src/Pure/build-jars	Fri Jun 16 16:21:17 2017 +0200
@@ -171,6 +171,7 @@
   ../Tools/VSCode/src/preview.scala
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala
+  ../Tools/VSCode/src/state.scala
   ../Tools/VSCode/src/vscode_rendering.scala
   ../Tools/VSCode/src/vscode_resources.scala
 )