Buggy code:
public abstract class Control extends Widget implements Drawable { public int handle ; Composite parent ; String toolTipText ; Object layoutData ; int drawCount ; int visibleRgn ; Menu menu ; float [ ] foreground ; float [ ] background ; Image backgroundImage ; Font font ; Cursor cursor ; GCData [ ] gcs ; Accessible accessible ; static final String RESET_VISIBLE_REGION = "org.eclipse.swt.internal.resetVisibleRegion" ; Control ( ) { } public Control ( Composite parent , int style ) { } int actionProc ( int theControl , int partCode ) { } public void addControlListener ( ControlListener listener ) { } public void addDragDetectListener ( DragDetectListener listener ) { } public void addFocusListener ( FocusListener listener ) { } public void addHelpListener ( HelpListener listener ) { } public void addKeyListener ( KeyListener listener ) { } public void addMenuDetectListener ( MenuDetectListener listener ) { } public void addMouseListener ( MouseListener listener ) { } public void addMouseTrackListener ( MouseTrackListener listener ) { } public void addMouseMoveListener ( MouseMoveListener listener ) { } public void addMouseWheelListener ( MouseWheelListener listener ) { } public void addPaintListener ( PaintListener listener ) { } public void addTraverseListener ( TraverseListener listener ) { } int colorProc ( int inControl , int inMessage , int inDrawDepth , int inDrawInColor ) { } int callFocusEventHandler ( int nextHandler , int theEvent ) { } void checkBackground ( ) { } void checkBuffered ( ) { } public Point computeSize ( int wHint , int hHint ) { } public Point computeSize ( int wHint , int hHint , boolean changed ) { } Control computeTabGroup ( ) { } Control [ ] computeTabList ( ) { } Control computeTabRoot ( ) { } void createWidget ( ) { } Color defaultBackground ( ) { } Font defaultFont ( ) { } Color defaultForeground ( ) { } int defaultThemeFont ( ) { } void deregister ( ) { } void destroyWidget ( ) { } public boolean dragDetect ( Event event ) { } public boolean dragDetect ( MouseEvent event ) { } boolean dragDetect ( int button , int count , int stateMask , int x , int y ) { } boolean dragDetect ( int x , int y , boolean filter , boolean [ ] consume ) { } void drawFocus ( int control , int context , boolean hasFocus , boolean hasBorder , Rect inset ) { } boolean drawFocusRing ( ) { } boolean drawGripper ( int x , int y , int width , int height , boolean vertical ) { } void drawWidget ( int control , int context , int damageRgn , int visibleRgn , int theEvent ) { } void enableWidget ( boolean enabled ) { } boolean equals ( float [ ] color1 , float [ ] color2 ) { if ( color1 == color2 ) return true ; if ( color1 == null ) return color2 == null ; if ( color2 == null ) return color1 == null ; for ( int i = 0 ; i < ( color1 . length ) ; i ++ ) { <START_BUG> if ( ( color1 [ 0 ] ) != ( color2 [ 0 ] ) ) <END_BUG> return false ; } return true ; } void fillBackground ( int control , int context , Rectangle bounds ) { } Cursor findCursor ( ) { } Control findBackgroundControl ( ) { } Menu [ ] findMenus ( Control control ) { } void fixChildren ( Shell newShell , Shell oldShell , Decorations newDecorations , Decorations oldDecorations , Menu [ ] menus ) { } void fixFocus ( Control focusControl ) { } int focusHandle ( ) { } int focusPart ( ) { } public boolean forceFocus ( ) { } public Accessible getAccessible ( ) { } public Color getBackground ( ) { } Color getBackgroundColor ( ) { } public Image getBackgroundImage ( ) { } public int getBorderWidth ( ) { } public Rectangle getBounds ( ) { } public boolean getDragDetect ( ) { } int getDrawCount ( int control ) { } public Cursor getCursor ( ) { } 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 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 ) { }

Fix:
if ( ( color1 [ i ] ) != ( color2 [ i ] ) )