Program: 105511
Project: 105511
Buggy source:
public void executeGetBucket(HttpServletRequest request,HttpServletResponse response) throws IOException, XMLStreamException {
  S3ListBucketRequest engineRequest=new S3ListBucketRequest();
  engineRequest.setBucketName((String)request.getAttribute(S3Constants.BUCKET_ATTR_KEY));
  engineRequest.setDelimiter(request.getParameter("String_Node_Str"));
  engineRequest.setMarker(request.getParameter("String_Node_Str"));
  engineRequest.setPrefix(request.getParameter("String_Node_Str"));
  int maxKeys=Converter.toInt(request.getParameter("String_Node_Str"),1000);
  engineRequest.setMaxKeys(maxKeys);
  try {
    S3ListBucketResponse engineResponse=ServiceProvider.getInstance().getS3Engine().listBucketContents(engineRequest,false);
    ListBucketResponse oneBucket=S3SerializableServiceImplementation.toListBucketResponse(engineResponse);
    OutputStream outputStream=response.getOutputStream();
    response.setStatus(200);
    response.setContentType("String_Node_Str");
    MTOMAwareResultStreamWriter resultWriter=new MTOMAwareResultStreamWriter("String_Node_Str",outputStream);
    resultWriter.startWrite();
    resultWriter.writeout(oneBucket);
    resultWriter.stopWrite();
  }
 catch (  NoSuchObjectException nsoe) {
    response.setStatus(404);
    response.setContentType("String_Node_Str");
    StringBuffer xmlError=new StringBuffer();
    xmlError.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append((String)request.getAttribute(S3Constants.BUCKET_ATTR_KEY)).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
    S3RestServlet.endResponse(response,xmlError.toString());
  }
}

Fixed version (ground truth):
public void executeGetBucket(HttpServletRequest request,HttpServletResponse response) throws IOException, XMLStreamException {
  S3ListBucketRequest engineRequest=new S3ListBucketRequest();
  engineRequest.setBucketName((String)request.getAttribute(S3Constants.BUCKET_ATTR_KEY));
  engineRequest.setDelimiter(request.getParameter("String_Node_Str"));
  engineRequest.setMarker(request.getParameter("String_Node_Str"));
  engineRequest.setPrefix(request.getParameter("String_Node_Str"));
  int maxKeys=Converter.toInt(request.getParameter("String_Node_Str"),1000);
  engineRequest.setMaxKeys(maxKeys);
  try {
    S3ListBucketResponse engineResponse=ServiceProvider.getInstance().getS3Engine().listBucketContents(engineRequest,false);
    ListBucketResponse oneBucket=S3SerializableServiceImplementation.toListBucketResponse(engineResponse);
    OutputStream outputStream=response.getOutputStream();
    response.setStatus(200);
    response.setContentType("String_Node_Str");
    MTOMAwareResultStreamWriter resultWriter=new MTOMAwareResultStreamWriter("String_Node_Str",outputStream);
    resultWriter.startWrite();
    resultWriter.writeout(oneBucket);
    resultWriter.stopWrite();
  }
 catch (  NoSuchObjectException nsoe) {
    response.setStatus(404);
    response.setContentType("String_Node_Str");
    StringBuffer xmlError=new StringBuffer();
    xmlError.append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(StringEscapeUtils.escapeHtml((String)request.getAttribute(S3Constants.BUCKET_ATTR_KEY))).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append("String_Node_Str");
    S3RestServlet.endResponse(response,xmlError.toString());
  }
}