src/Pure/build-jars

--- a/src/Pure/build-jars	Sat Nov 28 17:38:03 2020 +0100
+++ b/src/Pure/build-jars	Sat Nov 28 20:14:46 2020 +0100
@@ -204,13 +204,13 @@
   src/Tools/Graphview/tree_panel.scala
   src/Tools/VSCode/src/build_vscode.scala
   src/Tools/VSCode/src/channel.scala
-  src/Tools/VSCode/src/document_model.scala
   src/Tools/VSCode/src/dynamic_output.scala
   src/Tools/VSCode/src/grammar.scala
+  src/Tools/VSCode/src/language_server.scala
+  src/Tools/VSCode/src/lsp.scala
   src/Tools/VSCode/src/preview_panel.scala
-  src/Tools/VSCode/src/protocol.scala
-  src/Tools/VSCode/src/server.scala
   src/Tools/VSCode/src/state_panel.scala
+  src/Tools/VSCode/src/vscode_model.scala
   src/Tools/VSCode/src/vscode_rendering.scala
   src/Tools/VSCode/src/vscode_resources.scala
   src/Tools/VSCode/src/vscode_spell_checker.scala