Program: 81386
Project: 81386
Buggy source:
@Override public View getView(int position,View convertView,ViewGroup parent){
  String ayah=ayahList.get(position);
  String translatedAya="String_Node_Str";
  if (this.nTranslationVal != 0) {
    translatedAya=translatedAyaList.get(position);
  }
  ViewHolder holder=null;
  LayoutInflater mInflater=(LayoutInflater)context.getSystemService(Activity.LAYOUT_INFLATER_SERVICE);
  if (convertView == null) {
    convertView=mInflater.inflate(R.layout.list_item_ayas,null);
    holder=new ViewHolder();
    holder.txtAyaNum=(TextView)convertView.findViewById(R.id.ayanum);
    holder.txtAya=(TextView)convertView.findViewById(R.id.aya);
    holder.txtTranslatedAya=(TextView)convertView.findViewById(R.id.translatedaya);
    holder.spacer=(View)convertView.findViewById(R.id.spacer);
    convertView.setTag(holder);
  }
 else   holder=(ViewHolder)convertView.getTag();
  holder.txtAyaNum.setText(String.valueOf(position + 1));
  Typeface externalFont=Typeface.createFromAsset(context.getAssets(),"String_Node_Str");
  holder.txtAya.setTypeface(externalFont);
  if (Build.VERSION.SDK_INT <= Build.VERSION_CODES.HONEYCOMB_MR2) {
    ayah=ayah + '\u200f';
    holder.txtAya.setTypeface(externalFont);
  }
  holder.txtAya.setText(ayah);
  holder.txtAya.setGravity(Gravity.RIGHT);
  if (nTranslationVal != 0) {
    holder.txtTranslatedAya.setVisibility(View.VISIBLE);
    holder.spacer.setVisibility(View.VISIBLE);
    holder.txtTranslatedAya.setGravity(Gravity.LEFT);
    if (nTranslationVal == 1) {
      Spanned translatedAyaSpan=Html.fromHtml(translatedAya);
      holder.txtTranslatedAya.setText(translatedAyaSpan);
    }
 else     if ((nTranslationVal == 2) || (nTranslationVal == 3)) {
      holder.txtTranslatedAya.setText(translatedAya);
    }
 else     if (nTranslationVal == 4) {
      externalFont=Typeface.createFromAsset(context.getAssets(),"String_Node_Str");
      if (Build.VERSION.SDK_INT <= Build.VERSION_CODES.JELLY_BEAN_MR1) {
        holder.txtTranslatedAya.setTypeface(externalFont);
        holder.txtTranslatedAya.setTextSize(20);
        translatedAya=ComplexCharacterMapper.fix(translatedAya,0);
      }
      holder.txtTranslatedAya.setText(translatedAya);
    }
  }
  return convertView;
}

Fixed version (ground truth):
@Override public View getView(int position,View convertView,ViewGroup parent){
  String ayah=ayahList.get(position);
  String translatedAya="String_Node_Str";
  if (this.nTranslationVal != 0) {
    translatedAya=translatedAyaList.get(position);
  }
  ViewHolder holder=null;
  LayoutInflater mInflater=(LayoutInflater)context.getSystemService(Activity.LAYOUT_INFLATER_SERVICE);
  if (convertView == null) {
    convertView=mInflater.inflate(R.layout.list_item_ayas,null);
    holder=new ViewHolder();
    holder.txtAyaNum=(TextView)convertView.findViewById(R.id.ayanum);
    holder.txtAya=(TextView)convertView.findViewById(R.id.aya);
    holder.txtTranslatedAya=(TextView)convertView.findViewById(R.id.translatedaya);
    holder.spacer=(View)convertView.findViewById(R.id.spacer);
    convertView.setTag(holder);
  }
 else   holder=(ViewHolder)convertView.getTag();
  holder.txtAyaNum.setText(String.valueOf(position + 1));
  Typeface externalFont=Typeface.createFromAsset(context.getAssets(),"String_Node_Str");
  if (Build.VERSION.SDK_INT != Build.VERSION_CODES.JELLY_BEAN) {
    holder.txtAya.setTypeface(externalFont);
    if (Build.VERSION.SDK_INT <= Build.VERSION_CODES.HONEYCOMB_MR2) {
      ayah=ayah + '\u200f';
    }
  }
  holder.txtAya.setText(ayah);
  holder.txtAya.setGravity(Gravity.RIGHT);
  if (nTranslationVal != 0) {
    holder.txtTranslatedAya.setVisibility(View.VISIBLE);
    holder.spacer.setVisibility(View.VISIBLE);
    holder.txtTranslatedAya.setGravity(Gravity.LEFT);
    if (nTranslationVal == 1) {
      Spanned translatedAyaSpan=Html.fromHtml(translatedAya);
      holder.txtTranslatedAya.setText(translatedAyaSpan);
    }
 else     if ((nTranslationVal == 2) || (nTranslationVal == 3)) {
      holder.txtTranslatedAya.setText(translatedAya);
    }
 else     if (nTranslationVal == 4) {
      externalFont=Typeface.createFromAsset(context.getAssets(),"String_Node_Str");
      if (Build.VERSION.SDK_INT <= Build.VERSION_CODES.JELLY_BEAN_MR1) {
        holder.txtTranslatedAya.setTypeface(externalFont);
        holder.txtTranslatedAya.setTextSize(20);
        translatedAya=ComplexCharacterMapper.fix(translatedAya,0);
      }
      holder.txtTranslatedAya.setText(translatedAya);
    }
  }
  return convertView;
}