1.1 --- a/lib/browser/build	Mon Mar 26 15:38:09 2012 +0200
     1.2 +++ b/lib/browser/build	Mon Mar 26 16:25:08 2012 +0200
     1.3 @@ -65,9 +65,9 @@
     1.4  
     1.5    rm -rf classes && mkdir classes
     1.6  
     1.7 -  "$ISABELLE_JDK_HOME/bin/javac" -d classes -source 1.4 "${SOURCES[@]}" || \
     1.8 +  isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
     1.9      fail "Failed to compile sources"
    1.10 -  "$ISABELLE_JDK_HOME/bin/jar" cf "$(jvmpath "$TARGET")" -C classes . ||
    1.11 +  isabelle_jdk jar cf "$(jvmpath "$TARGET")" -C classes . ||
    1.12      fail "Failed to produce $TARGET"
    1.13  
    1.14    rm -rf classes