Buggy code:
public class Shell extends Decorations { int shellHandle ; int tooltipsHandle ; int tooltipWindow ; boolean mapped ; boolean moved ; boolean resized ; boolean opened ; int oldX ; int oldY ; int oldWidth ; int oldHeight ; int minWidth ; int minHeight ; Control lastActive ; Region region ; static final int MAXIMUM_TRIM = 128 ; public Shell ( ) { } public Shell ( int style ) { } public Shell ( Display display ) { } public Shell ( Display display , int style ) { } Shell ( Display display , Shell parent , int style , int handle , boolean embedded ) { } public Shell ( Shell parent ) { } public Shell ( Shell parent , int style ) { } public static Shell gtk_new ( Display display , int handle ) { } public static Shell internal_new ( Display display , int handle ) { } static int checkStyle ( int style ) { } public void addShellListener ( ShellListener listener ) { } void adjustTrim ( ) { } void bringToTop ( boolean force ) { } void checkBorder ( ) { } void checkOpen ( ) { } int childStyle ( ) { } public void close ( ) { } void closeWidget ( ) { } public Rectangle computeTrim ( int x , int y , int width , int height ) { } void createHandle ( int index ) { } int filterProc ( int xEvent , int gdkEvent , int data2 ) { int eventType = OS . X_EVENT_TYPE ( xEvent ) ; if ( ( eventType != ( OS . FocusOut ) ) && ( eventType != ( OS . FocusIn ) ) ) return 0 ; XFocusChangeEvent xFocusEvent = new XFocusChangeEvent ( ) ; OS . memmove ( xFocusEvent , xEvent , sizeof ) ; switch ( eventType ) { case OS . FocusIn : if ( ( ( xFocusEvent . mode ) == ( OS . NotifyNormal ) ) || ( ( xFocusEvent . mode ) == ( OS . NotifyWhileGrabbed ) ) ) { if ( ( ( xFocusEvent . detail ) == ( OS . NotifyNonlinear ) ) || ( ( xFocusEvent . detail ) == ( OS . NotifyAncestor ) ) ) { if ( ( tooltipsHandle ) != 0 ) OS . gtk_tooltips_enable ( tooltipsHandle ) ; display . activeShell = this ; display . activePending = false ; sendEvent ( Activate ) ; } } break ; <START_BUG> case 10 : <END_BUG> if ( ( ( xFocusEvent . mode ) == ( OS . NotifyNormal ) ) || ( ( xFocusEvent . mode ) == ( OS . NotifyWhileGrabbed ) ) ) { if ( ( ( xFocusEvent . detail ) == ( OS . NotifyNonlinearVirtual ) ) || ( ( xFocusEvent . detail ) == ( OS . NotifyVirtual ) ) ) { if ( ( tooltipsHandle ) != 0 ) OS . gtk_tooltips_disable ( tooltipsHandle ) ; Display display = this . display ; sendEvent ( Deactivate ) ; setActiveControl ( null ) ; if ( ( display . activeShell ) == ( this ) ) { display . activeShell = null ; display . activePending = false ; } } } break ; } return 0 ; } Control findBackgroundControl ( ) { } Composite findDeferredControl ( ) { } boolean hasBorder ( ) { } void hookEvents ( ) { } public boolean isEnabled ( ) { } boolean isUndecorated ( ) { } public boolean isVisible ( ) { } void register ( ) { } void releaseParent ( ) { } int topHandle ( ) { } void fixActiveShell ( ) { } void fixShell ( Shell newShell , Control control ) { } void fixStyle ( int handle ) { } void forceResize ( ) { } void forceResize ( int width , int height ) { } public Point getLocation ( ) { } public Point getMinimumSize ( ) { } public Point getSize ( ) { } public boolean getVisible ( ) { } public Region getRegion ( ) { } public int getImeInputMode ( ) { } Shell _getShell ( ) { } public Shell [ ] getShells ( ) { } int gtk_configure_event ( int widget , int event ) { } int gtk_delete_event ( int widget , int event ) { } int gtk_enter_notify_event ( int widget , int event ) { } int gtk_focus ( int widget , int directionType ) { } int gtk_move_focus ( int widget , int directionType ) { } int gtk_key_press_event ( int widget , int event ) { } int gtk_map_event ( int widget , int event ) { } int gtk_size_allocate ( int widget , int allocation ) { } int gtk_realize ( int widget ) { } int gtk_unmap_event ( int widget , int event ) { } int gtk_window_state_event ( int widget , int event ) { } public void open ( ) { } public void removeShellListener ( ShellListener listener ) { } public void setActive ( ) { } void setActiveControl ( Control control ) { } void resizeBounds ( int width , int height , boolean notify ) { } int setBounds ( int x , int y , int width , int height , boolean move , boolean resize ) { } void setCursor ( int cursor ) { } public void setEnabled ( boolean enabled ) { } public void setImeInputMode ( int mode ) { } void setInitialBounds ( ) { } public void setMaximized ( boolean maximized ) { } public void setMenuBar ( Menu menu ) { } public void setMinimized ( boolean minimized ) { } public void setMinimumSize ( int width , int height ) { } public void setMinimumSize ( Point size ) { } public void setRegion ( Region region ) { } void setRelations ( ) { }

Fix:
case OS . FocusOut :