src/Pure/build-jars

--- a/src/Pure/build-jars	Sat Nov 30 21:17:53 2013 +0100
+++ b/src/Pure/build-jars	Sat Nov 30 22:56:20 2013 +0100
@@ -219,7 +219,7 @@
   mkdir -p "$(dirname "$CHARSET_SERVICE")"
   echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
 
-  cp "$ISABELLE_HOME/lib/logo/isabelle.gif" isabelle/.
+  cp "$ISABELLE_HOME/lib/logo/isabelle-icon.gif" isabelle/.
 
   isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \
     fail "Failed to produce $TARGET"