diff -r dec036b63412 -r 8922afc54b3d src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Dec 31 13:20:23 2012 +0100
+++ b/src/Pure/build-jars	Mon Dec 31 13:34:47 2012 +0100
@@ -183,7 +183,8 @@
   JFXRT="$ISABELLE_JDK_HOME/jre/lib/jfxrt.jar"
 
   if [ "$TEST_PIDE" = true ]; then
-    isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
+    isabelle_scala scalac $SCALAC_OPTIONS \
+        -classpath "$(jvmpath "$JFXRT:classes")" "${PIDE_SOURCES[@]}" || \
       fail "Failed to compile PIDE sources"
     isabelle_scala scalac $SCALAC_OPTIONS \
         -classpath "$(jvmpath "$JFXRT:classes")" "${PURE_SOURCES[@]}" || \