diff -r 7c9e31ffcd9e -r 1a05adae1cc9 lib/browser/build
--- a/lib/browser/build	Mon Mar 26 15:38:09 2012 +0200
+++ b/lib/browser/build	Mon Mar 26 16:25:08 2012 +0200
@@ -65,9 +65,9 @@
 
   rm -rf classes && mkdir classes
 
-  "$ISABELLE_JDK_HOME/bin/javac" -d classes -source 1.4 "${SOURCES[@]}" || \
+  isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
     fail "Failed to compile sources"
-  "$ISABELLE_JDK_HOME/bin/jar" cf "$(jvmpath "$TARGET")" -C classes . ||
+  isabelle_jdk jar cf "$(jvmpath "$TARGET")" -C classes . ||
     fail "Failed to produce $TARGET"
 
   rm -rf classes