src/Tools/jEdit/src/active.scala

--- a/src/Tools/jEdit/src/active.scala	Thu Aug 20 20:36:06 2015 +0200
+++ b/src/Tools/jEdit/src/active.scala	Thu Aug 20 21:08:47 2015 +0200
@@ -34,7 +34,7 @@
                   val graph_file = Isabelle_System.tmp_file("graph")
                   File.write(graph_file, XML.content(body))
                   Isabelle_System.bash_env(null,
-                    Map("GRAPH_FILE" -> Isabelle_System.posix_path(graph_file)),
+                    Map("GRAPH_FILE" -> File.standard_path(graph_file)),
                     "\"$ISABELLE_TOOL\" browser -c \"$GRAPH_FILE\" &")
                 }