Buggy code:
public void redraw ( int x , int y , int width , int height , boolean all ) { } boolean redrawChildren ( ) { } void register ( ) { } void releaseHandle ( ) { } void releaseParent ( ) { } void releaseWidget ( ) { } 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 removeMouseTrackListener ( MouseTrackListener listener ) { } public void removeMouseListener ( MouseListener listener ) { } public void removeMouseMoveListener ( MouseMoveListener listener ) { } public void removeMouseWheelListener ( MouseWheelListener listener ) { } public void removePaintListener ( PaintListener listener ) { } public void removeTraverseListener ( TraverseListener listener ) { } void showWidget ( boolean visible ) { } boolean sendFocusEvent ( int type ) { } void sendMove ( ) { } void sendResize ( ) { } void setBackground ( ) { } public void setBackground ( Color color ) { } public void setBackgroundImage ( Image image ) { } void setBackgroundImage ( int hBitmap ) { } void setBackgroundPixel ( int pixel ) { } public void setBounds ( int x , int y , int width , int height ) { } void setBounds ( int x , int y , int width , int height , int flags ) { } void setBounds ( int x , int y , int width , int height , int flags , boolean defer ) { } public void setBounds ( Rectangle rect ) { } public void setCapture ( boolean capture ) { } void setCursor ( ) { } public void setCursor ( Cursor cursor ) { } void setDefaultFont ( ) { } public void setDragDetect ( boolean dragDetect ) { } public void setEnabled ( boolean enabled ) { } boolean setFixedFocus ( ) { } 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 ) { } boolean setRadioFocus ( boolean tabbing ) { } boolean setRadioSelection ( boolean value ) { } public void setRedraw ( boolean redraw ) { } public void setRegion ( Region region ) { } boolean setSavedFocus ( ) { } public void setSize ( int width , int height ) { } public void setSize ( Point size ) { } boolean setTabItemFocus ( ) { } public void setToolTipText ( String string ) { } void setToolTipText ( Shell shell , String string ) { } public void setVisible ( boolean visible ) { } void sort ( int [ ] items ) { } void subclass ( ) { } public Point toControl ( int x , int y ) { } public Point toControl ( Point point ) { } public Point toDisplay ( int x , int y ) { } public Point toDisplay ( Point point ) { } int topHandle ( ) { } boolean translateAccelerator ( MSG msg ) { } boolean translateMnemonic ( Event event , Control control ) { } boolean translateMnemonic ( MSG msg ) { } boolean translateTraversal ( MSG msg ) { } boolean traverse ( Event event ) { } 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 ; event . stateMask = stateMask ; Shell shell = getShell ( ) ;

Fix:
doit = true ;