1 files changed, 3 insertions, 6 deletions
diff --git a/libjava/gnu/java/awt/peer/gtk/GtkMenuBarPeer.java b/libjava/gnu/java/awt/peer/gtk/GtkMenuBarPeer.java
index 40462818081..b9cca1a5c38 100644
--- a/libjava/gnu/java/awt/peer/gtk/GtkMenuBarPeer.java
+++ b/libjava/gnu/java/awt/peer/gtk/GtkMenuBarPeer.java
@@ -56,15 +56,12 @@ public class GtkMenuBarPeer extends GtkMenuComponentPeer
     create ();
   }
 
+  native void nativeSetHelpMenu(MenuPeer menuPeer);
+
   /* In Gnome, help menus are no longer right flushed. */
   public void addHelpMenu (Menu menu)
   {
-    addMenu (menu);
-  }
-
-  public void addMenu (Menu menu)
-  {
-    addMenu ((MenuPeer) menu.getPeer ());
+    nativeSetHelpMenu((MenuPeer) menu.getPeer());
   }
 
   native public void delMenu (int index);