src/Tools/jEdit/src/jedit_editor.scala

--- a/src/Tools/jEdit/src/jedit_editor.scala	Mon Mar 03 11:37:06 2014 +0100
+++ b/src/Tools/jEdit/src/jedit_editor.scala	Mon Mar 03 11:58:07 2014 +0100
@@ -181,7 +181,7 @@
   def hyperlink_source_file(source_name: String, line: Int, raw_offset: Text.Offset)
     : Option[Hyperlink] =
   {
-    if (Path.is_ok(source_name)) {
+    if (Path.is_valid(source_name)) {
       Isabelle_System.source_file(Path.explode(source_name)) match {
         case Some(path) =>
           val name = Isabelle_System.platform_path(path)