Program: 187336
Project: 187336
Buggy source:
public void getEULA(){
  PackageInfo versionInfo=getPackageInfo();
  final String eulaKey="String_Node_Str" + versionInfo.versionCode;
  boolean hasBeenShown=sharedPrefs.getBoolean(eulaKey,false);
  if (hasBeenShown == false) {
    final TextView textBox=new TextView(this);
    String licenseMessage=this.getString(R.string.eula_message);
    final SpannableString license=new SpannableString(licenseMessage);
    Linkify.addLinks(license,Linkify.WEB_URLS);
    textBox.setText(license);
    int horDimen=Math.round(this.getResources().getDimension(R.dimen.activity_horizontal_margin));
    int verDimen=Math.round(this.getResources().getDimension(R.dimen.activity_vertical_margin));
    textBox.setPadding(horDimen,verDimen,horDimen,verDimen);
    textBox.setMovementMethod(LinkMovementMethod.getInstance());
    textBox.setTextSize(18);
    textBox.setLayoutParams(new LayoutParams(LayoutParams.WRAP_CONTENT,LayoutParams.WRAP_CONTENT));
    String title=this.getString(R.string.eula_title);
    AlertDialog.Builder builder=new AlertDialog.Builder(this).setTitle(title).setCancelable(true).setView(textBox).setPositiveButton(R.string.accept,new Dialog.OnClickListener(){
      @Override public void onClick(      DialogInterface dialog,      int which){
        SharedPreferences.Editor editor=sharedPrefs.edit();
        editor.putBoolean(eulaKey,true);
        editor.commit();
        displayIntro();
        checkDefault();
      }
    }
).setOnCancelListener(new OnCancelListener(){
      @Override public void onCancel(      DialogInterface arg0){
        ConversationView.this.finish();
      }
    }
).setNegativeButton(R.string.refuse,new Dialog.OnClickListener(){
      @Override public void onClick(      DialogInterface dialog,      int which){
        ConversationView.this.finish();
      }
    }
);
    builder.create().show();
  }
 else {
  }
}

Fixed version (ground truth):
public void getEULA(){
  PackageInfo versionInfo=getPackageInfo();
  final String eulaKey="String_Node_Str" + versionInfo.versionCode;
  boolean hasBeenShown=sharedPrefs.getBoolean(eulaKey,false);
  if (hasBeenShown == false) {
    final TextView textBox=new TextView(this);
    String licenseMessage=this.getString(R.string.eula_message);
    final SpannableString license=new SpannableString(licenseMessage);
    Linkify.addLinks(license,Linkify.WEB_URLS);
    textBox.setText(license);
    int horDimen=Math.round(this.getResources().getDimension(R.dimen.activity_horizontal_margin));
    int verDimen=Math.round(this.getResources().getDimension(R.dimen.activity_vertical_margin));
    textBox.setPadding(horDimen,verDimen,horDimen,verDimen);
    textBox.setMovementMethod(LinkMovementMethod.getInstance());
    textBox.setTextSize(18);
    textBox.setLayoutParams(new LayoutParams(LayoutParams.WRAP_CONTENT,LayoutParams.WRAP_CONTENT));
    String title=this.getString(R.string.eula_title);
    AlertDialog.Builder builder=new AlertDialog.Builder(this).setTitle(title).setCancelable(true).setView(textBox).setPositiveButton(R.string.accept,new Dialog.OnClickListener(){
      @Override public void onClick(      DialogInterface dialog,      int which){
        SharedPreferences.Editor editor=sharedPrefs.edit();
        editor.putBoolean(eulaKey,true);
        editor.commit();
        if (Build.VERSION.SDK_INT < Build.VERSION_CODES.KITKAT) {
          displayIntro();
        }
        checkDefault();
      }
    }
).setOnCancelListener(new OnCancelListener(){
      @Override public void onCancel(      DialogInterface arg0){
        ConversationView.this.finish();
      }
    }
).setNegativeButton(R.string.refuse,new Dialog.OnClickListener(){
      @Override public void onClick(      DialogInterface dialog,      int which){
        ConversationView.this.finish();
      }
    }
);
    builder.create().show();
  }
 else {
  }
}