1.1 --- a/src/Pure/build-jars	Sun Sep 02 14:02:05 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Sep 02 19:26:05 2012 +0200
     1.3 @@ -48,6 +48,7 @@
     1.4    System/isabelle_charset.scala
     1.5    System/isabelle_process.scala
     1.6    System/isabelle_system.scala
     1.7 +  System/jfx_thread.scala
     1.8    System/main.scala
     1.9    System/options.scala
    1.10    System/platform.scala
    1.11 @@ -200,7 +201,8 @@
    1.12    isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
    1.13      fail "Failed to produce $TARGET"
    1.14  
    1.15 -  cp "$SCALA_HOME/lib/scala-compiler.jar" \
    1.16 +  cp "$ISABELLE_JDK_HOME/jre/lib/jfxrt.jar" \
    1.17 +    "$SCALA_HOME/lib/scala-compiler.jar" \
    1.18      "$SCALA_HOME/lib/scala-library.jar" \
    1.19      "$SCALA_HOME/lib/scala-swing.jar" "$TARGET_DIR/ext"
    1.20