src/Pure/build-jars

   ../Tools/Graphview/tree_panel.scala
   ../Tools/VSCode/src/channel.scala
   ../Tools/VSCode/src/document_model.scala
   ../Tools/VSCode/src/protocol.scala
   ../Tools/VSCode/src/server.scala
-  ../Tools/VSCode/src/uri_resources.scala
   ../Tools/VSCode/src/vscode_rendering.scala
+  ../Tools/VSCode/src/vscode_resources.scala
 )
 
 
 ## diagnostics