Buggy code:
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 ) { } 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 ) { } void register ( ) { } public void redraw ( ) { } public void redraw ( int x , int y , int width , int height , boolean all ) { } void redrawWidget ( int x , int y , int width , int height , boolean all ) { } void releaseChild ( ) { } void releaseHandle ( ) { } void releaseWidget ( ) { } void sendFocusEvent ( int type ) { } boolean sendHelpEvent ( int helpType ) { } void sendMouseEvent ( int type , int button , int time , double x_root , double y_root , int state , int eventPtr ) { } public void setBackground ( Color color ) { } void setBackgroundColor ( int handle , GdkColor color ) { } void setBackgroundColor ( GdkColor color ) { } public void setCapture ( boolean capture ) { } public void setCursor ( Cursor cursor ) { } void setCursor ( int cursor ) { } public void setEnabled ( boolean enabled ) { } public boolean setFocus ( ) { } public void setFont ( Font font ) { } void setFontDescription ( int font ) { } public void setForeground ( Color color ) { } void setForegroundColor ( GdkColor color ) { } void setInitialSize ( ) { } public void setMenu ( Menu menu ) { } public boolean setParent ( Composite parent ) { } boolean setRadioSelection ( boolean value ) { } public void setRedraw ( boolean redraw ) { } boolean setTabGroupFocus ( boolean next ) { } boolean setTabItemFocus ( boolean next ) { } public void setToolTipText ( String string ) { } public void setVisible ( boolean visible ) { checkWidget ( ) ; int topHandle = topHandle ( ) ; if ( ( OS . GTK_WIDGET_VISIBLE ( topHandle ) ) == visible ) return ; if ( visible ) { sendEvent ( Show ) ; if ( isDisposed ( ) ) return ; if ( ( enableWindow ) != 0 ) OS . gdk_window_show ( enableWindow ) ; OS . gtk_widget_show ( topHandle ) ; } else { Control control = null ; boolean fixFocus = false ; if ( ( display . focusEvent ) != ( SWT . FocusOut ) ) { control = display . getFocusControl ( ) ; fixFocus = isFocusAncestor ( control ) ; } if ( fixFocus ) { int flags = OS . GTK_WIDGET_FLAGS ( topHandle ) ; OS . GTK_WIDGET_UNSET_FLAGS ( topHandle , GTK_VISIBLE ) ; fixFocus ( control ) ; if ( isDisposed ( ) ) return ; <START_BUG> OS . GTK_WIDGET_SET_FLAGS ( topHandle , GTK_VISIBLE ) ; <END_BUG> } OS . gtk_widget_hide ( topHandle ) ; if ( ( enableWindow ) != 0 ) OS . gdk_window_hide ( enableWindow ) ; sendEvent ( Hide ) ; } } void setZOrder ( Control sibling , boolean above ) { } void setZOrder ( Control sibling , boolean above , boolean fixChildren ) { } boolean showMenu ( int x , int y ) { } void showWidget ( ) { } void sort ( int [ ] items ) { } public boolean traverse ( int traversal ) { } boolean translateMnemonic ( Event event , Control control ) { } boolean translateMnemonic ( int keyval , GdkEventKey gdkEvent ) { } boolean translateTraversal ( GdkEventKey keyEvent ) { } int traversalCode ( int key , GdkEventKey event ) { } boolean traverse ( Event event ) { } boolean traverseEscape ( ) { } boolean traverseGroup ( boolean next ) { } boolean traverseItem ( boolean next ) { } boolean traverseReturn ( ) { } boolean traversePage ( boolean next ) { } boolean traverseMnemonic ( char key ) { } public void update ( ) { } void update ( boolean all ) { } void updateLayout ( boolean all ) { } }

Fix:
OS . GTK_WIDGET_SET_FLAGS ( topHandle , flags ) ;