Program: 33461
Project: 33461
Buggy source:
/** 
 * @see HttpServlet#doGet(HttpServletRequest request,HttpServletResponse response)
 */
protected void doGet(HttpServletRequest request,HttpServletResponse response) throws ServletException, IOException {
  String filename=request.getParameter("String_Node_Str");
  if (filename == null) {
    filename="String_Node_Str";
  }
 else {
    filename=filename.replaceAll("String_Node_Str","String_Node_Str");
    filename=filename.replaceAll("String_Node_Str","String_Node_Str");
  }
  int delay=500;
  String delayArg=request.getParameter("String_Node_Str");
  if (delayArg != null) {
    delay=Integer.parseInt(delayArg);
  }
  int batch=1;
  String batchArg=request.getParameter("String_Node_Str");
  if (batchArg != null) {
    batch=Integer.parseInt(batchArg);
  }
  String data=getFileFromPackage(filename);
  String lines[]=data.split("String_Node_Str");
  response.setContentType("String_Node_Str");
  response.setCharacterEncoding("String_Node_Str");
  int batchCount=0;
  for (; ; ) {
    for (    String s : lines) {
      s=s.trim();
      if (s.length() > 0) {
        try {
          response.getWriter().println(s);
          response.getWriter().println("String_Node_Str");
          response.getWriter().flush();
          batchCount++;
        }
 catch (        Exception e) {
          logger.warn("String_Node_Str",e);
          return;
        }
        if (batchCount == batch) {
          try {
            Thread.sleep(delay);
          }
 catch (          InterruptedException e) {
          }
          batchCount=0;
        }
      }
    }
  }
}

Fixed version (ground truth):
/** 
 * @see HttpServlet#doGet(HttpServletRequest request,HttpServletResponse response)
 */
@Override protected void doGet(HttpServletRequest request,HttpServletResponse response) throws ServletException, IOException {
  String filename=request.getParameter("String_Node_Str");
  if (filename == null) {
    filename="String_Node_Str";
  }
 else {
    filename=filename.replaceAll("String_Node_Str","String_Node_Str");
    filename=filename.replaceAll("String_Node_Str","String_Node_Str");
  }
  int delay=500;
  String delayArg=request.getParameter("String_Node_Str");
  if (delayArg != null) {
    delay=Integer.parseInt(delayArg);
  }
  int batch=1;
  String batchArg=request.getParameter("String_Node_Str");
  if (batchArg != null) {
    batch=Integer.parseInt(batchArg);
  }
  String data=getFileFromPackage(filename);
  String lines[]=data.split("String_Node_Str");
  response.setContentType("String_Node_Str");
  response.setCharacterEncoding("String_Node_Str");
  int batchCount=0;
  for (; ; ) {
    for (    String s : lines) {
      s=s.trim();
      if (s.length() > 0) {
        try {
          response.getWriter().println(s);
          response.getWriter().println("String_Node_Str");
          response.getWriter().flush();
          batchCount++;
        }
 catch (        Exception e) {
          logger.warn("String_Node_Str",e);
          return;
        }
        if (batchCount == batch) {
          try {
            Thread.sleep(delay);
          }
 catch (          InterruptedException e) {
          }
          batchCount=0;
        }
      }
    }
  }
}