diff -r 7c2f4dd48fb6 -r 491f185fd705 src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Mon Apr 20 08:58:09 2020 +0200
+++ b/src/Tools/VSCode/src/server.scala	Tue Apr 21 19:07:11 2020 +0200
@@ -12,7 +12,6 @@
 
 
 import isabelle._
-import isabelle.vscode.{Protocol, Server}
 
 import java.io.{PrintStream, OutputStream, File => JFile}