1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Mon Dec 02 15:49:02 2013 +0100
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Dec 04 18:38:26 2013 +0100
     1.3 @@ -286,7 +286,7 @@
     1.4      "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed
     1.5    cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \
     1.6      "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed
     1.7 -  isabelle_jdk jar cf jedit.jar org || failed
     1.8 +  isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed
     1.9    rm -rf org
    1.10    cd ..
    1.11