Buggy code:
int gtk_visibility_notify_event ( int widget , int event ) { } void gtk_widget_size_request ( int widget , GtkRequisition requisition ) { } 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 ( ) { } void redraw ( boolean all ) { } public void redraw ( int x , int y , int width , int height , boolean all ) { } void redrawChildren ( ) { } void redrawWidget ( int x , int y , int width , int height , boolean redrawAll , boolean all , boolean trim ) { } void release ( boolean destroy ) { } void releaseHandle ( ) { } void releaseParent ( ) { } void releaseWidget ( ) { } void restackWindow ( int window , int sibling , boolean above ) { } boolean sendDragEvent ( int button , int stateMask , int x , int y , boolean isStateMask ) { } void sendFocusEvent ( int type ) { } boolean sendHelpEvent ( int helpType ) { } boolean sendLeaveNotify ( ) { } boolean sendMouseEvent ( int type , int button , int time , double x , double y , boolean is_hint , int state ) { } boolean sendMouseEvent ( int type , int button , int count , int detail , boolean send , int time , double x , double y , boolean is_hint , int state ) { } void setBackground ( ) { } public void setBackground ( Color color ) { } void setBackgroundColor ( int handle , GdkColor color ) { } void setBackgroundColor ( GdkColor color ) { } public void setBackgroundImage ( Image image ) { } void setBackgroundPixmap ( int pixmap ) { } public void setCapture ( boolean capture ) { } public void setCursor ( Cursor cursor ) { } void setCursor ( int cursor ) { } public void setDragDetect ( boolean dragDetect ) { } 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 setInitialBounds ( ) { } public void setMenu ( Menu menu ) { } void setOrientation ( ) { } public boolean setParent ( Composite parent ) { } void setParentBackground ( ) { } void setParentWindow ( int widget ) { } boolean setRadioSelection ( boolean value ) { } public void setRedraw ( boolean redraw ) { } boolean setTabItemFocus ( boolean next ) { } public void setToolTipText ( String string ) { } void setToolTipText ( Shell shell , String newString ) { } public void setVisible ( boolean visible ) { } void setZOrder ( Control sibling , boolean above , boolean fixRelations ) { } void setZOrder ( Control sibling , boolean above , boolean fixRelations , boolean fixChildren ) { } void setWidgetBackground ( ) { } boolean showMenu ( int x , int y ) { } void showWidget ( ) { } void sort ( int [ ] items ) { } public boolean traverse ( int traversal ) { } public boolean traverse ( int traversal , Event event ) { } public boolean traverse ( int traversal , KeyEvent event ) { } boolean traverse ( int traversal , char character , int keyCode , int keyLocation , int stateMask , boolean doit ) { if ( traversal == ( SWT . TRAVERSE_NONE ) ) { switch ( keyCode ) { case SWT . ESC : { traversal = SWT . TRAVERSE_ESCAPE ; doit = true ; break ; } case SWT . CR : { traversal = SWT . TRAVERSE_RETURN ; <START_BUG> doit = false ; <END_BUG> break ; } case SWT . ARROW_DOWN : case SWT . ARROW_RIGHT : { traversal = SWT . TRAVERSE_ARROW_NEXT ; doit = false ; break ; } case SWT . ARROW_UP : case SWT . ARROW_LEFT : { traversal = SWT . TRAVERSE_ARROW_PREVIOUS ; doit = false ; break ; } case SWT . TAB : { traversal = ( ( stateMask & ( SWT . SHIFT ) ) != 0 ) ? SWT . TRAVERSE_TAB_PREVIOUS : SWT . TRAVERSE_TAB_NEXT ; doit = true ; break ; } case SWT . PAGE_DOWN : { if ( ( stateMask & ( SWT . CTRL ) ) != 0 ) { traversal = SWT . TRAVERSE_PAGE_NEXT ; doit = true ; } break ; } case SWT . PAGE_UP : { if ( ( stateMask & ( SWT . CTRL ) ) != 0 ) { traversal = SWT . TRAVERSE_PAGE_PREVIOUS ; doit = true ; } break ; } default : { if ( ( character != 0 ) && ( ( stateMask & ( ( SWT . ALT ) | ( SWT . CTRL ) ) ) == ( SWT . ALT ) ) ) { traversal = SWT . TRAVERSE_MNEMONIC ; doit = true ; } break ; } } } Event event = new Event ( ) ; event . character = character ; event . detail = traversal ; event . doit = doit ; event . keyCode = keyCode ; event . keyLocation = keyLocation ;

Fix:
doit = true ;