public java.lang.CharSequence METHOD_1 ( int position ) { switch ( position ) { case 1 : return STRING_1 ; <BUG> case INT_1 : return STRING_2 ;</BUG> default : return STRING_3 ; } }
public java.lang.CharSequence METHOD_1 ( int position ) { switch ( position ) { case 1 : return STRING_1 ; default : return STRING_3 ; } } 
