diff --git a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
index a43165d5f..5f3bc0a59 100644
--- a/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
+++ b/src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GFEditor2.java
@@ -468,10 +468,10 @@ KeyListener, FocusListener {
                 this.commandPath = gfcmd;
                 Image icon = null;
                 try {
-                final URL iconURL = ClassLoader.getSystemResource("gf-logo-64.gif");
+                final URL iconURL = ClassLoader.getSystemResource("gf-icon.gif");
                 icon = Toolkit.getDefaultToolkit().getImage(iconURL);
                 } catch (NullPointerException npe) {
-                        logger.info("gf-logo-64.gif could not be found.\n" + npe.getLocalizedMessage());
+                        logger.info("gf-icon.gif could not be found.\n" + npe.getLocalizedMessage());
                 }
                 initializeGUI(baseURL, isHtml, icon);
                 initializeGF(gfcmd, null);                
diff --git a/src/JavaGUI2/gf-icon.gif b/src/JavaGUI2/gf-icon.gif
new file mode 100644
index 000000000..5e8863d76
Binary files /dev/null and b/src/JavaGUI2/gf-icon.gif differ
diff --git a/src/JavaGUI2/gf-logo-64.gif b/src/JavaGUI2/gf-logo-64.gif
deleted file mode 100644
index 041cca41e..000000000
Binary files a/src/JavaGUI2/gf-logo-64.gif and /dev/null differ
diff --git a/src/Makefile b/src/Makefile
index d51a921d5..52bff9a33 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -119,7 +119,7 @@ javac:
 
 jar: javac
 	cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class ; cd ..
-	cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt ../../LICENSE LICENCE_jargs gf-logo-64.gif jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar  de/uka/ilkd/key/ocl/gf/*.class jargs LICENSE LICENCE_jargs gf-logo-64.gif ; cd .. ; cd ..
+	cd $(GFEDITOR) ; rm -rf jarcontents ; mkdir jarcontents ; cp -r de/ ManifestMain.txt ../../LICENSE LICENCE_jargs gf-icon.gif jarcontents ; cat jargs-1.0.jar | (cd jarcontents; jar -x jargs) ; cd jarcontents ; $(JAR) -cmf ManifestMain.txt ../gfeditor.jar  de/uka/ilkd/key/ocl/gf/*.class jargs LICENSE LICENCE_jargs gf-icon.gif ; cd .. ; cd ..
 
 showflags:
 	@echo $(GHCFLAGS)