Program: 87475
Project: 87475
Buggy source:
@Override public View getView(int pos,View convertView,ViewGroup arg2){
  ViewHolder holder;
  if (convertView == null) {
    convertView=inflater.inflate(R.layout.route_overview_list,null);
    holder=new ViewHolder();
    holder.travelTypes=(LinearLayout)convertView.findViewById(R.id.travelTypes);
    holder.departureTime=(TextView)convertView.findViewById(R.id.departureTime);
    holder.arrivalTime=(TextView)convertView.findViewById(R.id.arrivalTime);
    holder.travelTime=(TextView)convertView.findViewById(R.id.travelTime);
    holder.deviSymbol=(TextView)convertView.findViewById(R.id.deviSymbol);
    convertView.setTag(holder);
  }
 else {
    holder=(ViewHolder)convertView.getTag();
  }
  final RouteProposal routeProposal=items.get(pos);
  long departure=0;
  long arrival=0;
  holder.travelTypes.removeAllViews();
  for (  RouteData routeData : routeProposal.travelStageList) {
    if (departure == 0) {
      departure=routeData.departure;
    }
    arrival=routeData.arrival;
{
      final int symbolImage=routeData.transportType;
      if (symbolImage > 0) {
        final LinearLayout layout=(LinearLayout)inflater.inflate(R.layout.route_overview_traveltype,null);
        final TextView line=(TextView)layout.findViewById(R.id.line);
        final ImageView icon=(ImageView)layout.findViewById(R.id.icon);
        icon.setImageResource(symbolImage);
        if (routeData.line.length() > 0) {
          line.setText(routeData.line);
          line.setVisibility(View.VISIBLE);
        }
 else {
          line.setVisibility(View.GONE);
        }
        LinearLayout.LayoutParams params=new LinearLayout.LayoutParams(ViewGroup.LayoutParams.WRAP_CONTENT,ViewGroup.LayoutParams.WRAP_CONTENT);
        params.leftMargin=1;
        params.rightMargin=1;
        holder.travelTypes.addView(layout,params);
      }
    }
  }
  if (getDevi(pos,true).size() > 0) {
    holder.deviSymbol.setVisibility(View.VISIBLE);
  }
 else {
    holder.deviSymbol.setVisibility(View.GONE);
  }
{
    holder.departureTime.setText(HelperFunctions.hourFormater.format(departure));
    holder.arrivalTime.setText(HelperFunctions.hourFormater.format(arrival));
    holder.travelTime.setText(parent.getText(R.string.travelTime) + "String_Node_Str" + HelperFunctions.renderAccurate(arrival - departure));
  }
  return convertView;
}

Fixed version (ground truth):
@Override public View getView(int pos,View convertView,ViewGroup arg2){
  ViewHolder holder;
  if (convertView == null) {
    convertView=inflater.inflate(R.layout.route_overview_list,null);
    holder=new ViewHolder();
    holder.travelTypes=(LinearLayout)convertView.findViewById(R.id.travelTypes);
    holder.departureTime=(TextView)convertView.findViewById(R.id.departureTime);
    holder.arrivalTime=(TextView)convertView.findViewById(R.id.arrivalTime);
    holder.travelTime=(TextView)convertView.findViewById(R.id.travelTime);
    holder.deviSymbol=(TextView)convertView.findViewById(R.id.deviSymbol);
    convertView.setTag(holder);
  }
 else {
    holder=(ViewHolder)convertView.getTag();
  }
  final RouteProposal routeProposal=items.get(pos);
  long departure=0;
  long arrival=0;
  holder.travelTypes.removeAllViews();
  for (  RouteData routeData : routeProposal.travelStageList) {
    if (departure == 0) {
      departure=routeData.departure;
    }
    arrival=routeData.arrival;
{
      final int symbolImage=routeData.transportType;
      if (symbolImage > 0) {
        final LinearLayout layout=(LinearLayout)inflater.inflate(R.layout.route_overview_traveltype,null);
        final TextView line=(TextView)layout.findViewById(R.id.line);
        final ImageView icon=(ImageView)layout.findViewById(R.id.icon);
        icon.setImageResource(symbolImage);
        if (routeData.line.length() > 0) {
          line.setText(routeData.line);
          line.setVisibility(View.VISIBLE);
        }
 else {
          line.setVisibility(View.GONE);
        }
        LinearLayout.LayoutParams params=new LinearLayout.LayoutParams(ViewGroup.LayoutParams.WRAP_CONTENT,ViewGroup.LayoutParams.WRAP_CONTENT);
        params.leftMargin=1;
        params.rightMargin=1;
        holder.travelTypes.addView(layout,params);
      }
    }
  }
  if (getDevi(pos,true).size() > 0) {
    holder.deviSymbol.setVisibility(View.VISIBLE);
  }
 else {
    holder.deviSymbol.setVisibility(View.GONE);
  }
{
    holder.departureTime.setText(HelperFunctions.hourFormater.format(departure));
    holder.arrivalTime.setText(HelperFunctions.hourFormater.format(arrival));
    long diff=arrival - departure;
    if (diff < HelperFunctions.HOUR) {
      holder.travelTime.setText(parent.getText(R.string.travelTime) + "String_Node_Str" + (diff / HelperFunctions.MINUTE)+ "String_Node_Str");
    }
 else {
      diff=diff - HelperFunctions.HOUR;
      holder.travelTime.setText(parent.getText(R.string.travelTime) + "String_Node_Str" + HelperFunctions.hourFormater.format(diff));
    }
  }
  return convertView;
}