Buggy code:
static int descriptionPtr = - 1 ; static int keybindingPtr = - 1 ; static int namePtr = - 1 ; static final Hashtable AccessibleObjects = new Hashtable ( 9 ) ; static final boolean DEBUG = Device . DEBUG ; static final int ROW_ROLE ; static final int COLUMN_ROLE ; AccessibleObject ( int type , int widget , Accessible accessible , boolean isLightweight ) { } static void print ( String str ) { } static AtkActionIface getActionIface ( int atkObject ) { } static int atkAction_do_action ( int atkObject , int index ) { } static int atkAction_get_n_actions ( int atkObject ) { } static int atkAction_get_description ( int atkObject , int index ) { } static int atkAction_get_keybinding ( int atkObject , int index ) { } static int atkAction_get_name ( int atkObject , int index ) { } static AtkComponentIface getComponentIface ( int atkObject ) { } static int atkComponent_get_extents ( int atkObject , int x , int y , int width , int height , int coord_type ) { } static int atkComponent_get_position ( int atkObject , int x , int y , int coord_type ) { } static int atkComponent_get_size ( int atkObject , int width , int height , int coord_type ) { } static int atkComponent_ref_accessible_at_point ( int atkObject , int x , int y , int coord_type ) { } static AtkHypertextIface getHypertextIface ( int atkObject ) { } static int atkHypertext_get_link ( int atkObject , int link_index ) { } static int atkHypertext_get_n_links ( int atkObject ) { } static int atkHypertext_get_link_index ( int atkObject , int char_index ) { } static AtkObjectClass getObjectClass ( int atkObject ) { } static int atkObject_get_description ( int atkObject ) { } static int atkObject_get_name ( int atkObject ) { } static int atkObject_get_n_children ( int atkObject ) { } static int atkObject_get_index_in_parent ( int atkObject ) { } static int atkObject_get_parent ( int atkObject ) { } static int atkObject_get_role ( int atkObject ) { } static int atkObject_ref_child ( int atkObject , int index ) { } static int atkObject_ref_state_set ( int atkObject ) { if ( AccessibleObject . DEBUG ) AccessibleObject . print ( ( "-->atkObject_ref_state_set:<seq2seq4repair_space>" + atkObject ) ) ; AccessibleObject object = AccessibleObject . getAccessibleObject ( atkObject ) ; int parentResult = 0 ; AtkObjectClass objectClass = AccessibleObject . getObjectClass ( atkObject ) ; if ( ( objectClass . ref_state_set ) != 0 ) { parentResult = ATK . call ( objectClass . ref_state_set , atkObject ) ; } if ( object != null ) { Accessible accessible = object . accessible ; Vector listeners = accessible . accessibleControlListeners ; int length = listeners . size ( ) ; if ( length > 0 ) { int set = parentResult ; AccessibleControlEvent event = new AccessibleControlEvent ( object . accessible ) ; event . childID = object . id ; event . detail = - 1 ; for ( int i = 0 ; i < length ; i ++ ) { AccessibleControlListener listener = ( ( AccessibleControlListener ) ( listeners . elementAt ( i ) ) ) ; listener . getState ( event ) ; } if ( ( event . detail ) != ( - 1 ) ) { int state = event . detail ; if ( ( state & ( ACC . STATE_BUSY ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_BUSY ) ; if ( ( state & ( ACC . STATE_CHECKED ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_CHECKED ) ; <START_BUG> if ( ( state & ( ACC . STATE_ENABLED ) ) != 0 ) <END_BUG> ATK . atk_state_set_add_state ( set , ATK_STATE_ENABLED ) ; if ( ( state & ( ACC . STATE_EXPANDED ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_EXPANDED ) ; if ( ( state & ( ACC . STATE_FOCUSABLE ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_FOCUSABLE ) ; if ( ( state & ( ACC . STATE_FOCUSED ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_FOCUSED ) ; if ( ( state & ( ACC . STATE_HOTTRACKED ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_ARMED ) ; if ( ( state & ( ACC . STATE_INVISIBLE ) ) == 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_VISIBLE ) ; if ( ( state & ( ACC . STATE_MULTISELECTABLE ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_MULTISELECTABLE ) ; if ( ( state & ( ACC . STATE_OFFSCREEN ) ) == 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_SHOWING ) ; if ( ( state & ( ACC . STATE_PRESSED ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_PRESSED ) ; if ( ( state & ( ACC . STATE_READONLY ) ) == 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_EDITABLE ) ; if ( ( state & ( ACC . STATE_SELECTABLE ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_SELECTABLE ) ; if ( ( state & ( ACC . STATE_SELECTED ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_SELECTED ) ; if ( ( state & ( ACC . STATE_SIZEABLE ) ) != 0 ) ATK . atk_state_set_add_state ( set , ATK_STATE_RESIZABLE ) ; } return set ; } } return parentResult ; } static AtkSelectionIface getSelectionIface ( int atkObject ) { } static int atkSelection_is_child_selected ( int atkObject , int index ) { } static int atkSelection_ref_selection ( int atkObject , int index ) { } static AtkTableIface getTableIface ( int atkObject ) { } static int atkTable_ref_at ( int atkObject , int row , int column ) { } static int atkTable_get_index_at ( int atkObject , int row , int column ) { } static int atkTable_get_column_at_index ( int atkObject , int index ) { }

Fix:
if ( ( state & ( ACC . STATE_DISABLED ) ) == 0 )