[gui] changing the splash screen

Author: mattulbrich

bin/key

@@ -250,5 +250,5 @@ $JAVA $JAVA_OPTIONS $keysysprops \
 -ea:de.uka.ilkd.key... $javaOptionXms $javaOptionXmx \
 -Dkey.home="$KEY_HOME" \
 -Dsun.awt.exception.handler=de.uka.ilkd.key.gui.ExceptionalHandler \
--splash:"$KEY_HOME/system/resources/de/uka/ilkd/key/gui/images/key22.gif" \
+-splash:"$KEY_HOME/system/resources/de/uka/ilkd/key/gui/images/key-splash.png" \
 -classpath "$keyclasspath" de.uka.ilkd.key.core.Main "$@"

system/resources/de/uka/ilkd/key/gui/images/key-splash.png

@@ -41,7 +41,7 @@ private IconFactory() {}
     private static Image keyHoleClosed       = getImage("images/keyproved.gif");
     private static Image keyHoleInteractive     = getImage("images/keyinteractive.gif");
     private static Image keyLogo             = getImage("images/key-color.gif");
-    private static Image keyLogo22 = getImage("images/key22.gif");
+    private static Image keyLogo22 = getImage("images/key-splash.png");
     private static Image keyLogoSmall        = getImage("images/key-color-icon-square.png");
     private static Icon provedFolderIcon     = KeYFolderIcon.getKeYFolderIconClosed();
     private static Icon closableFolderIcon   = KeYFolderIcon.getKeYFolderIconClosable();