better icon for the editor

1 files changed, 2 insertions, 2 deletions

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);