# HG changeset patch
# User wenzelm
# Date 1380184930 -7200
# Node ID f6fb8ca4517fa91552840daed75a873f55d7456f
# Parent  158609f78d0f1ca6304adeba79cd5b85e2d588ca
initialize class immediately (potentially more robust);

diff -r 158609f78d0f -r f6fb8ca4517f src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Thu Sep 26 02:34:34 2013 +0200
+++ b/src/Pure/Tools/main.scala	Thu Sep 26 10:42:10 2013 +0200
@@ -7,7 +7,7 @@
 package isabelle
 
 
-import java.lang.{System, ClassLoader}
+import java.lang.{System, Class, ClassLoader}
 import java.io.{File => JFile, BufferedReader, InputStreamReader}
 import java.nio.file.Files
 
@@ -116,7 +116,8 @@
           System.setProperty("scala.home",
             Isabelle_System.platform_path(Path.explode("$SCALA_HOME")))
 
-          val jedit = ClassLoader.getSystemClassLoader.loadClass("org.gjt.sp.jedit.jEdit")
+          val jedit =
+            Class.forName("org.gjt.sp.jedit.jEdit", true, ClassLoader.getSystemClassLoader)
           val jedit_main = jedit.getDeclaredMethod("main", classOf[Array[String]])
 
           () => jedit_main.invoke(null, jedit_options ++ jedit_settings ++ more_args)