src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Sat Jun 01 21:43:03 2019 +0200
+++ b/src/Tools/VSCode/src/server.scala	Sat Jun 01 21:43:41 2019 +0200
@@ -12,6 +12,7 @@
 
 
 import isabelle._
+import isabelle.vscode.{Protocol, Server}
 
 import java.io.{PrintStream, OutputStream, File => JFile}