Buggy code:
public class Spinner extends Composite { static final int INNER_BORDER = 2 ; static final int MIN_ARROW_WIDTH = 6 ; int lastEventTime = 0 ; int gdkEventKey = 0 ; public Spinner ( Composite parent , int style ) { } public void addModifyListener ( ModifyListener listener ) { } public void addSelectionListener ( SelectionListener listener ) { } void addVerifyListener ( VerifyListener listener ) { } static int checkStyle ( int style ) { } protected void checkSubclass ( ) { } public Point computeSize ( int wHint , int hHint , boolean changed ) { } public Rectangle computeTrim ( int x , int y , int width , int height ) { checkWidget ( ) ; int xborder = 0 ; int yborder = 0 ; int style = OS . gtk_widget_get_style ( handle ) ; if ( ( ( this . style ) & ( SWT . BORDER ) ) != 0 ) { xborder += OS . gtk_style_get_xthickness ( style ) ; yborder += OS . gtk_style_get_ythickness ( style ) ; } xborder += Spinner . INNER_BORDER ; yborder += Spinner . INNER_BORDER ; int [ ] property = new int [ 1 ] ; OS . gtk_widget_style_get ( handle , interior_focus , property , 0 ) ; <START_BUG> if ( ( property [ 0 ] ) != 0 ) { <END_BUG> OS . gtk_widget_style_get ( handle , focus_line_width , property , 0 ) ; xborder += property [ 0 ] ; yborder += property [ 0 ] ; } int fontDesc = OS . gtk_style_get_font_desc ( style ) ; int fontSize = OS . pango_font_description_get_size ( fontDesc ) ; int arrowSize = Math . max ( OS . PANGO_PIXELS ( fontSize ) , Spinner . MIN_ARROW_WIDTH ) ; arrowSize = arrowSize - ( arrowSize % 2 ) ; Rectangle trim = super . computeTrim ( x , y , width , height ) ; trim . x -= xborder ; trim . y -= yborder ; trim . width += 2 * xborder ; trim . height += 2 * yborder ; trim . width += arrowSize + ( 2 * ( OS . gtk_style_get_xthickness ( style ) ) ) ; return new Rectangle ( trim . x , trim . y , trim . width , trim . height ) ; } public void copy ( ) { } void createHandle ( int index ) { } public void cut ( ) { } void deregister ( ) { } boolean filterKey ( int keyval , int event ) { } void fixIM ( ) { } GdkColor getBackgroundColor ( ) { } public int getBorderWidth ( ) { } GdkColor getForegroundColor ( ) { } public int getIncrement ( ) { } public int getMaximum ( ) { } public int getMinimum ( ) { } public int getPageIncrement ( ) { } public int getSelection ( ) { } public int getDigits ( ) { } String getDecimalSeparator ( ) { } int gtk_activate ( int widget ) { } int gtk_changed ( int widget ) { } int gtk_commit ( int imContext , int text ) { } int gtk_delete_text ( int widget , int start_pos , int end_pos ) { } int gtk_event_after ( int widget , int gdkEvent ) { } int gtk_focus_out_event ( int widget , int event ) { } int gtk_insert_text ( int widget , int new_text , int new_text_length , int position ) { } int gtk_key_press_event ( int widget , int event ) { } int gtk_popup_menu ( int widget ) { } int gtk_value_changed ( int widget ) { } void hookEvents ( ) { } int imContext ( ) { } int paintWindow ( ) { } public void paste ( ) { } void register ( ) { } void releaseWidget ( ) { } public void removeModifyListener ( ModifyListener listener ) { } public void removeSelectionListener ( SelectionListener listener ) { } void removeVerifyListener ( VerifyListener listener ) { } void setBackgroundColor ( GdkColor color ) { } void setCursor ( int cursor ) { } void setFontDescription ( int font ) { } void setForegroundColor ( GdkColor color ) { } public void setIncrement ( int value ) { } public void setMaximum ( int value ) { } public void setMinimum ( int value ) { } public void setPageIncrement ( int value ) { } public void setSelection ( int value ) { } public void setDigits ( int value ) { } boolean translateTraversal ( GdkEventKey keyEvent ) { } String verifyText ( String string , int start , int end ) { } }

Fix:
if ( ( property [ 0 ] ) == 0 ) {