Buggy code:
public class Combo extends Composite { int arrowHandle ; int entryHandle ; int listHandle ; int lastEventTime ; int visibleCount = 5 ; int gdkEventKey = 0 ; String [ ] items = new String [ 0 ] ; boolean ignoreSelect ; boolean lockText ; static final int INNER_BORDER = 2 ; public static final int LIMIT ; public Combo ( Composite parent , int style ) { } public void add ( String string ) { } public void add ( String string , int index ) { } public void addModifyListener ( ModifyListener listener ) { } public void addSelectionListener ( SelectionListener listener ) { } public void addVerifyListener ( VerifyListener listener ) { } static int checkStyle ( int style ) { } protected void checkSubclass ( ) { } public void clearSelection ( ) { } public Point computeSize ( int wHint , int hHint , boolean changed ) { checkWidget ( ) ; if ( ( wHint != ( SWT . DEFAULT ) ) && ( wHint < 0 ) ) wHint = 0 ; if ( ( hHint != ( SWT . DEFAULT ) ) && ( hHint < 0 ) ) hHint = 0 ; int [ ] w = new int [ 1 ] ; int [ ] h = new int [ 1 ] ; int layout = OS . gtk_entry_get_layout ( entryHandle ) ; OS . pango_layout_get_size ( layout , w , h ) ; int xborder = Combo . INNER_BORDER ; int yborder = Combo . INNER_BORDER ; int style = OS . gtk_widget_get_style ( entryHandle ) ; xborder += OS . gtk_style_get_xthickness ( style ) ; yborder += OS . gtk_style_get_ythickness ( style ) ; int [ ] property = new int [ 1 ] ; OS . gtk_widget_style_get ( entryHandle , interior_focus , property , 0 ) ; <START_BUG> if ( ( property [ 0 ] ) != 0 ) { <END_BUG> OS . gtk_widget_style_get ( entryHandle , focus_line_width , property , 0 ) ; xborder += property [ 0 ] ; yborder += property [ 0 ] ; } int width = ( OS . PANGO_PIXELS ( w [ 0 ] ) ) + ( xborder * 2 ) ; int height = ( OS . PANGO_PIXELS ( h [ 0 ] ) ) + ( yborder * 2 ) ; GtkRequisition arrowRequesition = new GtkRequisition ( ) ; OS . gtk_widget_size_request ( arrowHandle , arrowRequesition ) ; GtkRequisition listRequesition = new GtkRequisition ( ) ; int listParent = OS . gtk_widget_get_parent ( listHandle ) ; OS . gtk_widget_size_request ( ( listParent != 0 ? listParent : listHandle ) , listRequesition ) ; width = ( ( Math . max ( listRequesition . width , width ) ) + ( arrowRequesition . width ) ) + 4 ; width = ( wHint == ( SWT . DEFAULT ) ) ? width : wHint ; height = ( hHint == ( SWT . DEFAULT ) ) ? height : hHint ; return new Point ( width , height ) ; } public void copy ( ) { } void createHandle ( int index ) { } public void cut ( ) { } void deregister ( ) { } boolean filterKey ( int keyval , int event ) { } void fixIM ( ) { } int fontHandle ( ) { } int focusHandle ( ) { } boolean hasFocus ( ) { } void hookEvents ( ) { } int imContext ( ) { } public void deselect ( int index ) { } public void deselectAll ( ) { } GdkColor getBackgroundColor ( ) { } GdkColor getForegroundColor ( ) { } public String getItem ( int index ) { } public int getItemCount ( ) { } public int getItemHeight ( ) { } public String [ ] getItems ( ) { } public int getOrientation ( ) { } public Point getSelection ( ) { } public int getSelectionIndex ( ) { } public String getText ( ) { } String getText ( int start , int stop ) { } public int getTextHeight ( ) { } public int getTextLimit ( ) { } public int getVisibleItemCount ( ) { } 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_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 ) { } public int indexOf ( String string ) { } public int indexOf ( String string , int start ) { } public void paste ( ) { } int parentingHandle ( ) { } void register ( ) { } void releaseHandle ( ) { } void releaseWidget ( ) { } public void remove ( int index ) { } public void remove ( int start , int end ) { } public void remove ( String string ) { } public void removeAll ( ) { } public void removeModifyListener ( ModifyListener listener ) { } public void removeSelectionListener ( SelectionListener listener ) { } public void removeVerifyListener ( VerifyListener listener ) { } public void select ( int index ) { } void setBackgroundColor ( GdkColor color ) { } int setBounds ( int x , int y , int width , int height , boolean move , boolean resize ) { } void setFontDescription ( int font ) { } void setForegroundColor ( GdkColor color ) { } public void setItem ( int index , String string ) { } public void setItems ( String [ ] items ) { } void setOrientation ( ) { }

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