src/Pure/build-jars

--- a/src/Pure/build-jars	Sun Sep 02 21:07:50 2012 +0200
+++ b/src/Pure/build-jars	Sun Sep 02 21:24:33 2012 +0200
@@ -185,11 +185,12 @@
   if [ "$TEST_PIDE" = true ]; then
     isabelle_scala scalac $SCALAC_OPTIONS "${PIDE_SOURCES[@]}" || \
       fail "Failed to compile PIDE sources"
-    isabelle_scala scalac $SCALAC_OPTIONS -classpath "$JFXRT:classes" "${PURE_SOURCES[@]}" || \
+    isabelle_scala scalac $SCALAC_OPTIONS \
+        -classpath "$(jvmpath "$JFXRT:classes")" "${PURE_SOURCES[@]}" || \
       fail "Failed to compile Pure sources"
   else
-    isabelle_scala scalac $SCALAC_OPTIONS -classpath "$JFXRT:classes" \
-      "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \
+    isabelle_scala scalac $SCALAC_OPTIONS \
+        -classpath "$(jvmpath "$JFXRT:classes")" "${PIDE_SOURCES[@]}" "${PURE_SOURCES[@]}" || \
       fail "Failed to compile sources"
   fi