Program: 143253
Project: 143253
Buggy source:
/** 
 */
public static Vector<OSImage> parse(String jsonString) throws ParseException {
  try {
    Vector<OSImage> result=new Vector<OSImage>();
    JSONObject jsonObject=new JSONObject(jsonString);
    Log.d("String_Node_Str","String_Node_Str" + jsonString);
    JSONArray images=(JSONArray)jsonObject.getJSONArray("String_Node_Str");
    for (int i=0; i < images.length(); ++i) {
      String name=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      long size=0L;
      if (images.getJSONObject(i).has("String_Node_Str"))       size=(long)images.getJSONObject(i).getLong("String_Node_Str");
      if (images.getJSONObject(i).has("String_Node_Str"))       size=(long)images.getJSONObject(i).getLong("String_Node_Str");
      String format=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String creationDate=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String visibility=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String status=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String ID=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      int mindisk=0;
      if (images.getJSONObject(i).has("String_Node_Str"))       mindisk=images.getJSONObject(i).getInt("String_Node_Str");
      if (images.getJSONObject(i).has("String_Node_Str"))       mindisk=images.getJSONObject(i).getInt("String_Node_Str");
      int minram=0;
      if (images.getJSONObject(i).has("String_Node_Str"))       minram=images.getJSONObject(i).getInt("String_Node_Str");
      if (images.getJSONObject(i).has("String_Node_Str"))       minram=images.getJSONObject(i).getInt("String_Node_Str");
      SimpleDateFormat timeFormatter=new SimpleDateFormat("String_Node_Str");
      timeFormatter.setTimeZone(TimeZone.getDefault());
      Calendar calendar=Calendar.getInstance();
      long cdate=0;
      try {
        calendar.setTime(timeFormatter.parse(creationDate));
        cdate=calendar.getTimeInMillis() / 1000;
      }
 catch (      java.text.ParseException pe) {
      }
      boolean pub=(visibility.compareTo("String_Node_Str") == 0 ? true : false);
      OSImage osimg=new OSImage(name,ID,size,format,status,pub,cdate,mindisk,minram);
      if (format.compareToIgnoreCase("String_Node_Str") != 0 && format.compareToIgnoreCase("String_Node_Str") != 0)       result.add(osimg);
    }
    return result;
  }
 catch (  org.json.JSONException je) {
    throw new ParseException(je.getMessage());
  }
}

Fixed version (ground truth):
/** 
 */
public static Vector<OSImage> parse(String jsonString) throws ParseException {
  try {
    Vector<OSImage> result=new Vector<OSImage>();
    JSONObject jsonObject=new JSONObject(jsonString);
    JSONArray images=(JSONArray)jsonObject.getJSONArray("String_Node_Str");
    for (int i=0; i < images.length(); ++i) {
      String name=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      long size=0L;
      if (images.getJSONObject(i).has("String_Node_Str"))       size=(long)images.getJSONObject(i).getLong("String_Node_Str");
      if (images.getJSONObject(i).has("String_Node_Str"))       size=(long)images.getJSONObject(i).getLong("String_Node_Str");
      String format=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String creationDate=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String visibility=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String status=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      String ID=images.getJSONObject(i).has("String_Node_Str") ? images.getJSONObject(i).getString("String_Node_Str") : "String_Node_Str";
      int mindisk=0;
      if (images.getJSONObject(i).has("String_Node_Str"))       mindisk=images.getJSONObject(i).getInt("String_Node_Str");
      if (images.getJSONObject(i).has("String_Node_Str"))       mindisk=images.getJSONObject(i).getInt("String_Node_Str");
      int minram=0;
      if (images.getJSONObject(i).has("String_Node_Str"))       minram=images.getJSONObject(i).getInt("String_Node_Str");
      if (images.getJSONObject(i).has("String_Node_Str"))       minram=images.getJSONObject(i).getInt("String_Node_Str");
      SimpleDateFormat timeFormatter=new SimpleDateFormat("String_Node_Str");
      timeFormatter.setTimeZone(TimeZone.getDefault());
      Calendar calendar=Calendar.getInstance();
      long cdate=0;
      try {
        calendar.setTime(timeFormatter.parse(creationDate));
        cdate=calendar.getTimeInMillis() / 1000;
      }
 catch (      java.text.ParseException pe) {
      }
      boolean pub=(visibility.compareTo("String_Node_Str") == 0 ? true : false);
      OSImage osimg=new OSImage(name,ID,size,format,status,pub,cdate,mindisk,minram);
      if (format.compareToIgnoreCase("String_Node_Str") != 0 && format.compareToIgnoreCase("String_Node_Str") != 0)       result.add(osimg);
    }
    return result;
  }
 catch (  org.json.JSONException je) {
    throw new ParseException(je.getMessage());
  }
}