Program: 143798
Project: 143798
Buggy source:
@Override public View getView(int r,View convertView,ViewGroup parent){
  Message message=this.getItem(r);
  SmsBaseViewHolder holder;
  if (convertView == null) {
    holder=new SmsBaseViewHolder();
    convertView=LayoutInflater.from(mContext).inflate(R.layout.message,parent,false);
    holder.mBody=(TextView)convertView.findViewById(R.id.message);
    holder.mdate=(TextView)convertView.findViewById(R.id.date_message);
    holder.mLayout=(RelativeLayout)convertView.findViewById(R.id.message_relativeLayout);
    holder.mIsRead=(View)convertView.findViewById(R.id.is_read);
    convertView.setTag(holder);
  }
 else   holder=(SmsBaseViewHolder)convertView.getTag();
  userPref.setUserPref(PreferenceManager.getDefaultSharedPreferences(mContext));
  holder.mBody.setText(message.getBody());
  holder.mBody.setTextSize(userPref.text_size);
  holder.mdate.setText(message.getDate());
  if (!PhoneNumberUtils.compare(mPhoneContact,message.getSender())) {
    holder.mLayout.setGravity(Gravity.RIGHT);
    holder.mLayout.setPadding(42,0,0,0);
    holder.mBody.setBackgroundColor(mContext.getResources().getColor(R.color.grey_mid_high));
    if (message.isRead())     holder.mIsRead.setBackgroundColor(mContext.getResources().getColor(R.color.read_green));
 else {
      holder.mIsRead.setBackgroundColor(mContext.getResources().getColor(android.R.color.transparent));
    }
  }
 else {
    holder.mLayout.setGravity(Gravity.LEFT);
    holder.mLayout.setPadding(0,0,42,0);
    holder.mBody.setBackgroundColor(mContext.getResources().getColor(R.color.grey_low));
    holder.mIsRead.setBackgroundColor(mContext.getResources().getColor(android.R.color.transparent));
  }
  return convertView;
}

Fixed version (ground truth):
@Override public View getView(int r,View convertView,ViewGroup parent){
  Message message=this.getItem(r);
  SmsBaseViewHolder holder;
  if (convertView == null) {
    holder=new SmsBaseViewHolder();
    convertView=LayoutInflater.from(mContext).inflate(R.layout.message,parent,false);
    holder.mBody=(TextView)convertView.findViewById(R.id.message);
    holder.mdate=(TextView)convertView.findViewById(R.id.date_message);
    holder.mLayout=(RelativeLayout)convertView.findViewById(R.id.message_relativeLayout);
    holder.mIsRead=(View)convertView.findViewById(R.id.is_read);
    convertView.setTag(holder);
  }
 else   holder=(SmsBaseViewHolder)convertView.getTag();
  userPref.setUserPref(PreferenceManager.getDefaultSharedPreferences(mContext));
  holder.mBody.setText(message.getBody());
  holder.mBody.setTextSize(userPref.text_size);
  holder.mdate.setText(message.getDate());
  if (!PhoneNumberUtils.compare(mPhoneContact,message.getSender())) {
    holder.mLayout.setGravity(GravityCompat.END);
    holder.mLayout.setPadding(42,0,0,0);
    holder.mBody.setBackgroundColor(mContext.getResources().getColor(R.color.grey_mid_high));
    if (message.isRead())     holder.mIsRead.setBackgroundColor(mContext.getResources().getColor(R.color.read_green));
 else {
      holder.mIsRead.setBackgroundColor(mContext.getResources().getColor(android.R.color.transparent));
    }
  }
 else {
    holder.mLayout.setGravity(GravityCompat.START);
    holder.mLayout.setPadding(0,0,42,0);
    holder.mBody.setBackgroundColor(mContext.getResources().getColor(R.color.grey_low));
    holder.mIsRead.setBackgroundColor(mContext.getResources().getColor(android.R.color.transparent));
  }
  return convertView;
}