Program: 179495
Project: 179495
Buggy source:
protected void populateResults(Page page,JSONObject nextJSONPage,LinearLayout resultsLayout,TextView resultsNo) throws JSONException {
  int curPageNum=((LibraryResultsPage)page).getCurPageNum();
  JSONArray newObjects=nextJSONPage.getJSONArray("String_Node_Str");
  TextView pageNumView=new TextView(page);
  pageNumView.setText("String_Node_Str" + curPageNum);
  pageNumView.setGravity(Gravity.CENTER);
  if (curPageNum > 1) {
    resultsLayout.addView(pageNumView);
  }
  for (int i=0; i < newObjects.length(); i++) {
    LinearLayout thisResultLayout=new LinearLayout(page);
    thisResultLayout.setOrientation(LinearLayout.VERTICAL);
    JSONObject thisResult=newObjects.getJSONObject(i);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,18);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,16);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,16);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,16);
    thisResultLayout.setBackgroundResource(R.drawable.bg_blue);
    thisResultLayout.setPadding(10,10,0,10);
    thisResultLayout.setLayoutParams(Page.paramsWithLine);
    resultsLayout.addView(thisResultLayout);
  }
  if (nextJSONPage.getString("String_Node_Str").equals("String_Node_Str")) {
    resultsNo.setText("String_Node_Str" + "String_Node_Str");
  }
 else {
    resultsNo.setText("String_Node_Str" + nextJSONPage.getString("String_Node_Str") + "String_Node_Str"+ '\n'+ "String_Node_Str"+ curPageNum+ "String_Node_Str"+ nextJSONPage.getString("String_Node_Str")+ "String_Node_Str");
  }
}

Fixed version (ground truth):
protected void populateResults(Page page,JSONObject nextJSONPage,LinearLayout resultsLayout,TextView resultsNo) throws JSONException {
  int curPageNum=((LibraryResultsPage)page).getCurPageNum();
  JSONArray newObjects=nextJSONPage.getJSONArray("String_Node_Str");
  TextView pageNumView=new TextView(page);
  pageNumView.setTextColor(R.color.blue);
  pageNumView.setText("String_Node_Str" + curPageNum);
  pageNumView.setGravity(Gravity.CENTER);
  if (curPageNum > 1) {
    resultsLayout.addView(pageNumView);
  }
  for (int i=0; i < newObjects.length(); i++) {
    LinearLayout thisResultLayout=new LinearLayout(page);
    thisResultLayout.setOrientation(LinearLayout.VERTICAL);
    JSONObject thisResult=newObjects.getJSONObject(i);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,18);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,16);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,16);
    addTextField(page,thisResult,"String_Node_Str","String_Node_Str",thisResultLayout,16);
    thisResultLayout.setBackgroundResource(R.drawable.bg_blue);
    thisResultLayout.setPadding(10,10,0,10);
    thisResultLayout.setLayoutParams(Page.paramsWithLine);
    resultsLayout.addView(thisResultLayout);
  }
  if (nextJSONPage.getInt("String_Node_Str") == 0) {
    resultsNo.setText("String_Node_Str" + "String_Node_Str");
  }
 else {
    resultsNo.setText("String_Node_Str" + nextJSONPage.getString("String_Node_Str") + "String_Node_Str"+ '\n'+ "String_Node_Str"+ curPageNum+ "String_Node_Str"+ nextJSONPage.getString("String_Node_Str")+ "String_Node_Str");
  }
}