src/Tools/jEdit/src/scala_console.scala
changeset 53575 df79aa33bb74
parent 53574 cb7d8e70f4f4
child 53582 8533b4cb8dd7
--- a/src/Tools/jEdit/src/scala_console.scala	Wed Sep 11 22:46:51 2013 +0200
+++ b/src/Tools/jEdit/src/scala_console.scala	Wed Sep 11 23:32:47 2013 +0200
@@ -46,9 +46,17 @@
         find_files(new JFile(start),
           entry => entry.isFile && entry.getName.endsWith(".jar")).map(_.getAbsolutePath)
       else Nil
+
+    val initial_class_path =
+      System.getProperty("java.class.path") match {
+        case null => Nil
+        case class_path => Library.space_explode(JFile.pathSeparatorChar, class_path)
+      }
+
     val path =
-      Main.class_path.map(Isabelle_System.platform_file(_)) :::
-      find_jars(jEdit.getSettingsDirectory) ::: find_jars(jEdit.getJEditHome)
+      initial_class_path :::
+      find_jars(jEdit.getSettingsDirectory) :::
+      find_jars(jEdit.getJEditHome)
     path.mkString(JFile.pathSeparator)
   }