Program: 170517
Project: 170517
Buggy source:
void setEventIcon(IssueEvent model){
switch (model.getType()) {
case reopened:
    eventIcon.setImageResource(R.drawable.ic_dot);
  eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.commit_file_added_color));
setEventIconPadding(8);
break;
case closed:
eventIcon.setImageResource(R.drawable.ic_block);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_red_800));
recoverEventIconPadding();
break;
case locked:
eventIcon.setImageResource(R.drawable.ic_lock);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.black_light));
recoverEventIconPadding();
break;
case unlocked:
eventIcon.setImageResource(R.drawable.ic_unlock);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.commit_file_added_color));
recoverEventIconPadding();
break;
case crossReferenced:
eventIcon.setImageResource(R.drawable.ic_quote);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case assigned:
case unassigned:
eventIcon.setImageResource(R.drawable.ic_menu_person);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case milestoned:
case demilestoned:
eventIcon.setImageResource(R.drawable.ic_milestone);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case commentDeleted:
eventIcon.setImageResource(R.drawable.ic_delete);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case labeled:
case unlabeled:
eventIcon.setImageResource(R.drawable.ic_label);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
default :
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.transparent));
break;
}
}

Fixed version (ground truth):
void setEventIcon(IssueEvent model){
switch (model.getType()) {
case reopened:
    eventIcon.setImageResource(R.drawable.ic_dot);
  eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.commit_file_added_color));
setEventIconPadding(8);
break;
case closed:
eventIcon.setImageResource(R.drawable.ic_block);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_red_800));
recoverEventIconPadding();
break;
case renamed:
eventIcon.setImageResource(R.drawable.ic_edit);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case locked:
eventIcon.setImageResource(R.drawable.ic_lock);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.black_light));
recoverEventIconPadding();
break;
case unlocked:
eventIcon.setImageResource(R.drawable.ic_unlock);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.commit_file_added_color));
recoverEventIconPadding();
break;
case crossReferenced:
eventIcon.setImageResource(R.drawable.ic_quote);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case assigned:
case unassigned:
eventIcon.setImageResource(R.drawable.ic_menu_person);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case milestoned:
case demilestoned:
eventIcon.setImageResource(R.drawable.ic_milestone);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case commentDeleted:
eventIcon.setImageResource(R.drawable.ic_delete);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
case labeled:
case unlabeled:
eventIcon.setImageResource(R.drawable.ic_label);
eventIcon.setImageTintList(ColorStateList.valueOf(context.getResources().getColor(R.color.white)));
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.material_grey_500));
recoverEventIconPadding();
break;
default :
eventIcon.setBackgroundColor(context.getResources().getColor(R.color.transparent));
break;
}
}