src/Tools/jEdit/src/jedit_resources.scala

--- a/src/Tools/jEdit/src/jedit_resources.scala	Thu Aug 20 17:41:50 2015 +0100
+++ b/src/Tools/jEdit/src/jedit_resources.scala	Thu Aug 20 19:15:17 2015 +0200
@@ -56,14 +56,14 @@
   {
     val path = source_path.expand
     if (dir == "" || path.is_absolute)
-      MiscUtilities.resolveSymlinks(Isabelle_System.platform_path(path))
+      MiscUtilities.resolveSymlinks(File.platform_path(path))
     else if (path.is_current) dir
     else {
       val vfs = VFSManager.getVFSForPath(dir)
       if (vfs.isInstanceOf[FileVFS])
         MiscUtilities.resolveSymlinks(
-          vfs.constructPath(dir, Isabelle_System.platform_path(path)))
-      else vfs.constructPath(dir, Isabelle_System.standard_path(path))
+          vfs.constructPath(dir, File.platform_path(path)))
+      else vfs.constructPath(dir, File.standard_path(path))
     }
   }