# 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)