src/Pure/build-jars

--- a/src/Pure/build-jars	Thu Dec 05 19:47:48 2013 +0100
+++ b/src/Pure/build-jars	Thu Dec 05 19:59:43 2013 +0100
@@ -220,7 +220,7 @@
   mkdir -p "$(dirname "$CHARSET_SERVICE")"
   echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
 
-  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" isabelle/.
+  cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" isabelle/.
 
   isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \
     fail "Failed to produce $TARGET"