Buggy code:
public class Test_org_eclipse_swt_widgets_Combo extends Test_org_eclipse_swt_widgets_Composite { Combo combo ; public Test_org_eclipse_swt_widgets_Combo ( String name ) { } public static void main ( String [ ] args ) { } protected void setUp ( ) { } protected void tearDown ( ) { } public void test_ConstructorLorg_eclipse_swt_widgets_CompositeI ( ) { } public void test_addLjava_lang_String ( ) { } public void test_addLjava_lang_StringI ( ) { } public void test_addModifyListenerLorg_eclipse_swt_events_ModifyListener ( ) { } public void test_addSelectionListenerLorg_eclipse_swt_events_SelectionListener ( ) { } public void test_clearSelection ( ) { } public void test_computeSizeIIZ ( ) { } public void test_copy ( ) { } public void test_cut ( ) { } public void test_deselectAll ( ) { } public void test_deselectI ( ) { } public void test_getChildren ( ) { } public void test_getItemCount ( ) { } public void test_getItemHeight ( ) { } public void test_getItemI ( ) { } public void test_getItems ( ) { } public void test_getOrientation ( ) { } public void test_getSelection ( ) { } public void test_getSelectionIndex ( ) { } public void test_getText ( ) { } public void test_getTextHeight ( ) { } public void test_getTextLimit ( ) { } public void test_hasFocus ( ) { } public void test_indexOfLjava_lang_String ( ) { } public void test_indexOfLjava_lang_StringI ( ) { } public void test_paste ( ) { } public void test_removeAll ( ) { } public void test_removeI ( ) { try { combo . remove ( 0 ) ; fail ( "No<seq2seq4repair_space>exception<seq2seq4repair_space>thrown<seq2seq4repair_space>for<seq2seq4repair_space>illegal<seq2seq4repair_space>index<seq2seq4repair_space>argument" ) ; } catch ( IllegalArgumentException e ) { } try { combo . remove ( 3 ) ; fail ( "No<seq2seq4repair_space>exception<seq2seq4repair_space>thrown<seq2seq4repair_space>for<seq2seq4repair_space>illegal<seq2seq4repair_space>index<seq2seq4repair_space>argument" ) ; } catch ( IllegalArgumentException e ) { } combo . add ( "string0" ) ; try { combo . remove ( ( - 1 ) ) ; fail ( "No<seq2seq4repair_space>exception<seq2seq4repair_space>thrown<seq2seq4repair_space>for<seq2seq4repair_space>illegal<seq2seq4repair_space>index<seq2seq4repair_space>argument" ) ; } catch ( IllegalArgumentException e ) { } combo . removeAll ( ) ; int number = 5 ; for ( int i = 0 ; i < number ; i ++ ) { combo . add ( ( "fred" + i ) ) ; } for ( int i = 0 ; i < number ; i ++ ) { assertEquals ( "Wrong<seq2seq4repair_space>number<seq2seq4repair_space>of<seq2seq4repair_space>items" , ( number - i ) , combo . getItemCount ( ) ) ; combo . remove ( 0 ) ; } for ( int i = 0 ; i < number ; i ++ ) { combo . add ( "fred" ) ; } for ( int i = 0 ; i < number ; i ++ ) { assertEquals ( "Wrong<seq2seq4repair_space>number<seq2seq4repair_space>of<seq2seq4repair_space>items" , ( number - i ) , combo . getItemCount ( ) ) ; combo . remove ( 0 ) ; } for ( int i = 0 ; i < number ; i ++ ) { combo . add ( ( "fred" + i ) ) ; } for ( int i = 0 ; i < number ; i ++ ) { assertEquals ( ( "index<seq2seq4repair_space>" + i ) , ( number - i ) , combo . getItemCount ( ) ) ; combo . select ( 0 ) ; assertEquals ( ( "index<seq2seq4repair_space>" + i ) , 0 , combo . getSelectionIndex ( ) ) ; combo . remove ( 0 ) ; <START_BUG> if ( ( SwtJunit . isWindows ) || ( SwtJunit . isGTK ) ) { <END_BUG> assertEquals ( ( "index<seq2seq4repair_space>" + i ) , ( - 1 ) , combo . getSelectionIndex ( ) ) ; } else { if ( i < ( number - 1 ) ) { assertEquals ( ( "index<seq2seq4repair_space>" + i ) , 0 , combo . getSelectionIndex ( ) ) ; } else { assertEquals ( ( "index<seq2seq4repair_space>" + i ) , ( - 1 ) , combo . getSelectionIndex ( ) ) ; } } } for ( int i = 0 ; i < number ; i ++ ) combo . add ( ( "fred" + i ) ) ; for ( int i = 0 ; i < number ; i ++ ) { assertEquals ( ( "index<seq2seq4repair_space>" + i ) , ( number - i ) , combo . getItemCount ( ) ) ; combo . remove ( ( ( number - i ) - 1 ) ) ; } } public void test_removeII ( ) { } public void test_removeLjava_lang_String ( ) { } public void test_removeModifyListenerLorg_eclipse_swt_events_ModifyListener ( ) { } public void test_removeSelectionListenerLorg_eclipse_swt_events_SelectionListener ( ) { } public void test_selectI ( ) { } public void test_setItemILjava_lang_String ( ) { } public void test_setItems$Ljava_lang_String ( ) { } public void test_setOrientationI ( ) { } public void test_setSelectionLorg_eclipse_swt_graphics_Point ( ) { } public void test_setTextLimitI ( ) { } public void test_setTextLjava_lang_String ( ) { } public static Test suite ( ) { } public static Vector methodNames ( ) { } protected void runTest ( ) throws Throwable { } public void test_setBoundsIIII ( ) { } public void test_setBoundsLorg_eclipse_swt_graphics_Rectangle ( ) { } public void test_setSizeII ( ) { } public void test_setSizeLorg_eclipse_swt_graphics_Point ( ) { } private void add ( ) { } public void test_consistency_MouseSelection ( ) { } public void test_consistency_KeySelection ( ) { } public void test_consistency_EnterSelection ( ) { } public void test_consistency_MenuDetect ( ) { } public void test_consistency_DragDetect ( ) { } }

Fix:
if ( ( ( SwtJunit . isWindows ) || ( SwtJunit . isGTK ) ) || ( SwtJunit . isCarbon ) ) {