Buggy code:
public void removeControlListener ( ControlListener listener ) { } public void removeDragDetectListener ( DragDetectListener listener ) { } public void removeFocusListener ( FocusListener listener ) { } public void removeHelpListener ( HelpListener listener ) { } public void removeKeyListener ( KeyListener listener ) { } public void removeMenuDetectListener ( MenuDetectListener listener ) { } public void removeMouseListener ( MouseListener listener ) { } public void removeMouseMoveListener ( MouseMoveListener listener ) { } public void removeMouseTrackListener ( MouseTrackListener listener ) { } public void removeMouseWheelListener ( MouseWheelListener listener ) { } public void removePaintListener ( PaintListener listener ) { } public void removeTraverseListener ( TraverseListener listener ) { } boolean sendDragEvent ( int button , int stateMask , int x , int y , boolean isStateMask ) { } void sendFocusEvent ( int type ) { } void sendHelpEvent ( int callData ) { } boolean sendMouseEvent ( int type ) { } boolean sendMouseEvent ( int type , int button , int count , int detail , boolean send , int time , int x , int y , int state ) { } boolean sendMouseEvent ( int type , XButtonEvent xEvent ) { } boolean sendMouseEvent ( int type , XCrossingEvent xEvent ) { } boolean sendMouseEvent ( int type , XMotionEvent xEvent ) { } void setBackground ( ) { } public void setBackground ( Color color ) { } public void setBackgroundImage ( Image image ) { } void setBackgroundPixel ( int pixel ) { } boolean setBounds ( int x , int y , int width , int height , boolean move , boolean resize ) { } public void setBounds ( int x , int y , int width , int height ) { } public void setBounds ( Rectangle rect ) { } public void setCapture ( boolean capture ) { } public void setCursor ( Cursor cursor ) { } public void setDragDetect ( boolean dragDetect ) { } public void setEnabled ( boolean enabled ) { } public boolean setFocus ( ) { } public void setFont ( Font font ) { } public void setForeground ( Color color ) { } void setForegroundPixel ( int pixel ) { } public void setLayoutData ( Object layoutData ) { } public void setLocation ( int x , int y ) { } public void setLocation ( Point location ) { } public void setMenu ( Menu menu ) { } public boolean setParent ( Composite parent ) { } void setParentBackground ( ) { } void setParentBackground ( int widget ) { } void setParentTraversal ( ) { } boolean setRadioSelection ( boolean value ) { } public void setRedraw ( boolean redraw ) { } public void setRegion ( Region region ) { } boolean setTabGroupFocus ( boolean next ) { } boolean setTabItemFocus ( boolean next ) { } public void setSize ( int width , int height ) { } public void setSize ( Point size ) { } public void setToolTipText ( String string ) { } public void setVisible ( boolean visible ) { } void setZOrder ( Control control , boolean above ) { } void setZOrder ( Control control , boolean above , boolean fixChildren ) { } void showMenu ( int x , int y ) { } public Point toControl ( int x , int y ) { } public Point toControl ( Point point ) { } public Point toDisplay ( int x , int y ) { } public Point toDisplay ( Point point ) { } boolean translateAccelerator ( char key , int keysym , XKeyEvent xEvent , boolean doit ) { } boolean translateMnemonic ( Event event , Control control ) { } boolean translateMnemonic ( char key , int keysym , XKeyEvent xEvent ) { } boolean translateTraversal ( int key , XKeyEvent xEvent ) { } int traversalCode ( int key , XKeyEvent xEvent ) { } 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 ;

Fix:
doit = true ;