src/Tools/jEdit/src/scala_console.scala

--- a/src/Tools/jEdit/src/scala_console.scala	Thu Sep 12 15:37:09 2013 +0200
+++ b/src/Tools/jEdit/src/scala_console.scala	Thu Sep 12 18:50:41 2013 +0200
@@ -48,10 +48,7 @@
       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)
-      }
+      Library.space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", ""))
 
     val path =
       initial_class_path :::