src/Tools/VSCode/src/channel.scala

--- a/src/Tools/VSCode/src/channel.scala	Wed Jan 04 15:20:54 2017 +0100
+++ b/src/Tools/VSCode/src/channel.scala	Wed Jan 04 19:42:08 2017 +0100
@@ -9,7 +9,7 @@
 
 import isabelle._
 
-import java.io.{InputStream, OutputStream, FileOutputStream, ByteArrayOutputStream}
+import java.io.{InputStream, OutputStream, FileOutputStream, ByteArrayOutputStream, File => JFile}
 
 import scala.collection.mutable
 
@@ -111,6 +111,6 @@
 
   /* diagnostics */
 
-  def diagnostics(uri: String, diagnostics: List[Protocol.Diagnostic]): Unit =
-    write(Protocol.PublishDiagnostics(uri, diagnostics))
+  def diagnostics(file: JFile, diagnostics: List[Protocol.Diagnostic]): Unit =
+    write(Protocol.PublishDiagnostics(file, diagnostics))
 }