Buggy code:
public boolean getEnabled ( ) { } public Font getFont ( ) { } public Color getForeground ( ) { } Color getForegroundColor ( ) { } public Object getLayoutData ( ) { } public Point getLocation ( ) { } public Menu getMenu ( ) { } int getMininumHeight ( ) { } public Monitor getMonitor ( ) { } public Composite getParent ( ) { } float [ ] getParentBackground ( ) { } Control [ ] getPath ( ) { } public Region getRegion ( ) { } public Shell getShell ( ) { } public Point getSize ( ) { } public String getToolTipText ( ) { } float getThemeAlpha ( ) { } public boolean getVisible ( ) { } int getVisibleRegion ( int control , boolean clipChildren ) { } boolean hasBorder ( ) { } boolean hasFocus ( ) { } int helpProc ( int inControl , int inGlobalMouse , int inRequest , int outContentProvided , int ioHelpContent ) { } void hookEvents ( ) { } public int internal_new_GC ( GCData data ) { } public void internal_dispose_GC ( int context , GCData data ) { } void invalidateChildrenVisibleRegion ( int control ) { } void invalidateVisibleRegion ( int control ) { } void invalWindowRgn ( int window , int rgn ) { } public boolean isEnabled ( ) { } boolean isEnabledCursor ( ) { } boolean isEnabledModal ( ) { } boolean isFocusAncestor ( Control control ) { } public boolean isFocusControl ( ) { } public boolean isReparentable ( ) { } boolean isShowing ( ) { } boolean isTabGroup ( ) { } boolean isTabItem ( ) { } public boolean isVisible ( ) { } Decorations menuShell ( ) { } int kEventAccessibleGetChildAtPoint ( int nextHandler , int theEvent , int userData ) { } int kEventAccessibleGetFocusedChild ( int nextHandler , int theEvent , int userData ) { } int kEventAccessibleGetAllAttributeNames ( int nextHandler , int theEvent , int userData ) { } int kEventAccessibleGetNamedAttribute ( int nextHandler , int theEvent , int userData ) { } int kEventControlContextualMenuClick ( int nextHandler , int theEvent , int userData ) { } int kEventControlGetClickActivation ( int nextHandler , int theEvent , int userData ) { } int kEventControlGetPartRegion ( int nextHandler , int theEvent , int userData ) { } int kEventControlHitTest ( int nextHandler , int theEvent , int userData ) { } int kEventControlSetCursor ( int nextHandler , int theEvent , int userData ) { } int kEventControlSetFocusPart ( int nextHandler , int theEvent , int userData ) { } int kEventControlTrack ( int nextHandler , int theEvent , int userData ) { } int kEventMouseDown ( int nextHandler , int theEvent , int userData ) { } int kEventMouseDragged ( int nextHandler , int theEvent , int userData ) { } int kEventMouseMoved ( int nextHandler , int theEvent , int userData ) { } int kEventMouseUp ( int nextHandler , int theEvent , int userData ) { } int kEventMouseWheelMoved ( int nextHandler , int theEvent , int userData ) { } int kEventTextInputUnicodeForKeyEvent ( int nextHandler , int theEvent , int userData ) { } int kEventUnicodeKeyPressed ( int nextHandler , int theEvent , int userData ) { } void markLayout ( boolean changed , boolean all ) { } public void moveAbove ( Control control ) { } public void moveBelow ( Control control ) { } Accessible new_Accessible ( Control control ) { } public void pack ( ) { } public void pack ( boolean changed ) { } public boolean print ( GC gc ) { } public void redraw ( ) { } void redraw ( boolean children ) { <START_BUG> redrawWidget ( handle , true ) ; <END_BUG> } public void redraw ( int x , int y , int width , int height , boolean all ) { } 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 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 ) { } void resetVisibleRegion ( int control ) { } boolean sendDragEvent ( int button , int stateMask , int x , int y ) { } boolean sendDragEvent ( int button , int chord , int modifiers , int x , int y ) { } void sendFocusEvent ( int type , boolean post ) { } boolean sendMouseEvent ( int type , short button , int count , int detail , boolean send , int theEvent ) { } boolean sendMouseEvent ( int type , short button , int count , boolean send , int chord , short x , short y , int modifiers ) { } boolean sendMouseEvent ( int type , short button , int count , int detail , boolean send , int chord , short x , short y , int modifiers ) { } boolean sendMouseWheel ( short wheelAxis , int wheelDelta ) { } void sendTrackEvents ( ) { } void setBackground ( ) { } public void setBackground ( Color color ) { } public void setBackgroundImage ( Image image ) { } void setBackground ( float [ ] color ) { } void setBackground ( int control , float [ ] color ) { }

Fix:
redrawWidget ( handle , children ) ;