Buggy code:
public void setBounds ( Rectangle rect ) { } public void setBounds ( int x , int y , int width , int height ) { } void markLayout ( boolean changed , boolean all ) { } void moveHandle ( int x , int y ) { } void resizeHandle ( int width , int height ) { } int setBounds ( int x , int y , int width , int height , boolean move , boolean resize ) { } public Point getLocation ( ) { } public void setLocation ( Point location ) { } public void setLocation ( int x , int y ) { } public Point getSize ( ) { } public void setSize ( Point size ) { } public void setSize ( int width , int height ) { } public void moveAbove ( Control control ) { } public void moveBelow ( Control control ) { } public void pack ( ) { } public void pack ( boolean changed ) { } public void setLayoutData ( Object layoutData ) { } public Point toControl ( int x , int y ) { } public Point toControl ( Point point ) { } public Point toDisplay ( int x , int y ) { } public Point toDisplay ( Point point ) { } public void addControlListener ( ControlListener listener ) { } public void addFocusListener ( FocusListener listener ) { } public void addHelpListener ( HelpListener listener ) { } public void addKeyListener ( KeyListener listener ) { } public void addMouseListener ( MouseListener listener ) { } public void addMouseMoveListener ( MouseMoveListener listener ) { } public void addMouseTrackListener ( MouseTrackListener listener ) { } public void addPaintListener ( PaintListener listener ) { } public void addTraverseListener ( TraverseListener listener ) { } public void removeControlListener ( ControlListener listener ) { } public void removeFocusListener ( FocusListener listener ) { } public void removeHelpListener ( HelpListener listener ) { } public void removeKeyListener ( KeyListener listener ) { } public void removeMouseListener ( MouseListener listener ) { } public void removeMouseMoveListener ( MouseMoveListener listener ) { } public void removeMouseTrackListener ( MouseTrackListener listener ) { } public void removePaintListener ( PaintListener listener ) { } public void removeTraverseListener ( TraverseListener listener ) { } boolean filterKey ( int keyval , int event ) { } Menu [ ] findMenus ( Control control ) { } void fixChildren ( Shell newShell , Shell oldShell , Decorations newDecorations , Decorations oldDecorations , Menu [ ] menus ) { } int fixedMapProc ( int widget ) { } public boolean forceFocus ( ) { } boolean forceFocus ( int focusHandle ) { } public Color getBackground ( ) { } GdkColor getBackgroundColor ( ) { } GdkColor getBgColor ( ) { } GdkColor getBaseColor ( ) { } public int getBorderWidth ( ) { } public boolean getEnabled ( ) { } public Font getFont ( ) { } int getFontDescription ( ) { } public Color getForeground ( ) { } GdkColor getForegroundColor ( ) { } GdkColor getFgColor ( ) { } Point getIMCaretPos ( ) { } GdkColor getTextColor ( ) { } public Object getLayoutData ( ) { } public Menu getMenu ( ) { } public Monitor getMonitor ( ) { } public Composite getParent ( ) { } Control [ ] getPath ( ) { } public Shell getShell ( ) { } Shell _getShell ( ) { } public String getToolTipText ( ) { } public boolean getVisible ( ) { } int gtk_button_press_event ( int widget , int event ) { } int gtk_button_release_event ( int widget , int event ) { } int gtk_commit ( int imcontext , int text ) { } int gtk_enter_notify_event ( int widget , int event ) { GdkEventCrossing gdkEvent = new GdkEventCrossing ( ) ; OS . memmove ( gdkEvent , event , sizeof ) ; <START_BUG> if ( ( gdkEvent . mode ) != ( OS . GDK_CROSSING_NORMAL ) ) <END_BUG> return 0 ; if ( ( gdkEvent . subwindow ) != 0 ) return 0 ; sendMouseEvent ( MouseEnter , 0 , gdkEvent . time , gdkEvent . x_root , gdkEvent . y_root , gdkEvent . state , event ) ; return 0 ; } int gtk_event_after ( int widget , int gdkEvent ) { } int gtk_expose_event ( int widget , int eventPtr ) { } int gtk_focus ( int widget , int directionType ) { } int gtk_focus_in_event ( int widget , int event ) { } int gtk_focus_out_event ( int widget , int event ) { } int gtk_key_press_event ( int widget , int event ) { } int gtk_key_release_event ( int widget , int event ) { } int gtk_leave_notify_event ( int widget , int event ) { } int gtk_mnemonic_activate ( int widget , int arg1 ) { } int gtk_motion_notify_event ( int widget , int event ) { } int gtk_popup_menu ( int widget ) { } int gtk_preedit_changed ( int imcontext ) { } int gtk_realize ( int widget ) { } int gtk_scroll_event ( int widget , int eventPtr ) { } int gtk_show_help ( int widget , int helpType ) { } int gtk_unrealize ( int widget ) { } int gtk_visibility_notify_event ( int widget , int event ) { } public int internal_new_GC ( GCData data ) { } int imHandle ( ) { } public void internal_dispose_GC ( int gdkGC , GCData data ) { } public boolean isReparentable ( ) { } boolean isShowing ( ) { } boolean isTabGroup ( ) { } boolean isTabItem ( ) { } public boolean isEnabled ( ) { } boolean isFocusAncestor ( Control control ) { } public boolean isFocusControl ( ) { } public boolean isVisible ( ) { } Decorations menuShell ( ) { } boolean mnemonicHit ( char key ) { } boolean mnemonicMatch ( char key ) { }

Fix:
if ( ( ( gdkEvent . mode ) != ( OS . GDK_CROSSING_NORMAL ) ) && ( ( gdkEvent . mode ) != ( OS . GDK_CROSSING_UNGRAB ) ) )