--- a/src/Tools/jEdit/src/scala_console.scala Wed Sep 11 21:40:03 2013 +0200
+++ b/src/Tools/jEdit/src/scala_console.scala Wed Sep 11 22:46:51 2013 +0200
@@ -46,7 +46,9 @@
find_files(new JFile(start),
entry => entry.isFile && entry.getName.endsWith(".jar")).map(_.getAbsolutePath)
else Nil
- val path = find_jars(jEdit.getSettingsDirectory) ::: find_jars(jEdit.getJEditHome)
+ val path =
+ Main.class_path.map(Isabelle_System.platform_file(_)) :::
+ find_jars(jEdit.getSettingsDirectory) ::: find_jars(jEdit.getJEditHome)
path.mkString(JFile.pathSeparator)
}