Program: 91015
Project: 91015
Buggy source:
private void askForWordNumber(){
  final View checkBoxView=View.inflate(this,R.layout.wordlist_checkboxes,null);
  final CheckBox checkBox=(CheckBox)checkBoxView.findViewById(R.id.checkboxWordlistPassphrase);
  final RadioButton words12=(RadioButton)checkBoxView.findViewById(R.id.wordlist12);
  final RadioButton words18=(RadioButton)checkBoxView.findViewById(R.id.wordlist18);
  final RadioButton words24=(RadioButton)checkBoxView.findViewById(R.id.wordlist24);
  checkBox.setOnCheckedChangeListener(new CompoundButton.OnCheckedChangeListener(){
    @Override public void onCheckedChanged(    CompoundButton compoundButton,    boolean b){
      if (b) {
        checkBoxView.findViewById(R.id.tvPassphraseInfo).setVisibility(View.VISIBLE);
      }
 else {
        checkBoxView.findViewById(R.id.tvPassphraseInfo).setVisibility(View.GONE);
      }
    }
  }
);
  AlertDialog.Builder builder=new AlertDialog.Builder(this);
  builder.setTitle(R.string.import_words_title);
  builder.setMessage(R.string.import_wordlist_questions).setView(checkBoxView).setCancelable(false).setPositiveButton(R.string.ok,new DialogInterface.OnClickListener(){
    public void onClick(    DialogInterface dialog,    int id){
      usesPassphrase=checkBox.isChecked();
      if (words12.isChecked()) {
        numberOfWords=12;
      }
 else       if (words18.isChecked()) {
        numberOfWords=18;
      }
 else       if (words24.isChecked()) {
        numberOfWords=24;
      }
 else {
        throw new IllegalStateException("String_Node_Str");
      }
      setHint();
    }
  }
).show();
}

Fixed version (ground truth):
private void askForWordNumber(){
  final View checkBoxView=View.inflate(this,R.layout.wordlist_checkboxes,null);
  final CheckBox checkBox=(CheckBox)checkBoxView.findViewById(R.id.checkboxWordlistPassphrase);
  final RadioButton words12=(RadioButton)checkBoxView.findViewById(R.id.wordlist12);
  final RadioButton words18=(RadioButton)checkBoxView.findViewById(R.id.wordlist18);
  final RadioButton words24=(RadioButton)checkBoxView.findViewById(R.id.wordlist24);
  checkBox.setOnCheckedChangeListener(new CompoundButton.OnCheckedChangeListener(){
    @Override public void onCheckedChanged(    CompoundButton compoundButton,    boolean b){
      if (b) {
        checkBoxView.findViewById(R.id.tvPassphraseInfo).setVisibility(View.VISIBLE);
      }
 else {
        checkBoxView.findViewById(R.id.tvPassphraseInfo).setVisibility(View.GONE);
      }
    }
  }
);
  AlertDialog.Builder builder=new AlertDialog.Builder(this,R.style.MyceliumModern_Dialog);
  builder.setTitle(R.string.import_words_title);
  builder.setMessage(R.string.import_wordlist_questions).setView(checkBoxView).setCancelable(false).setPositiveButton(R.string.ok,new DialogInterface.OnClickListener(){
    public void onClick(    DialogInterface dialog,    int id){
      usesPassphrase=checkBox.isChecked();
      if (words12.isChecked()) {
        numberOfWords=12;
      }
 else       if (words18.isChecked()) {
        numberOfWords=18;
      }
 else       if (words24.isChecked()) {
        numberOfWords=24;
      }
 else {
        throw new IllegalStateException("String_Node_Str");
      }
      setHint();
    }
  }
).show();
}