Program: 90596
Project: 90596
Buggy source:
@Override public void run(){
  try {
    Thread.sleep(delay);
    HttpServletRequest hreq=(HttpServletRequest)ctx.getRequest();
    HttpServletResponse hresp=(HttpServletResponse)ctx.getResponse();
    RequestDispatcher rd;
switch (type) {
case TEXT:
      LOGGER.fine("String_Node_Str");
    StringBuilder txt=new StringBuilder(128);
  txt.append("String_Node_Str");
txt.append("String_Node_Str").append(hreq.getDispatcherType().toString());
txt.append("String_Node_Str");
hresp.getWriter().write(txt.toString());
if (done) {
ctx.complete();
}
break;
case AUTO:
LOGGER.fine("String_Node_Str");
hreq.setAttribute(ATTRIB_AUTO,new Boolean(true));
ctx.dispatch();
break;
case DISPATCH:
LOGGER.fine("String_Node_Str");
hreq.setAttribute(ATTRIB_TITLE,"String_Node_Str");
ctx.dispatch(JSP);
break;
case FWD:
LOGGER.fine("String_Node_Str");
hreq.setAttribute(ATTRIB_TITLE,"String_Node_Str");
rd=hreq.getRequestDispatcher(JSP);
rd.forward(hreq,hresp);
if (done) {
ctx.complete();
}
break;
case INC:
LOGGER.fine("String_Node_Str");
hreq.setAttribute(ATTRIB_TITLE,"String_Node_Str");
rd=hreq.getRequestDispatcher(JSP);
rd.include(hreq,hresp);
if (done) {
ctx.complete();
}
break;
}
}
 catch (Exception e) {
LOGGER.warning("String_Node_Str" + e.toString());
}
}

Fixed version (ground truth):
@Override public void run(){
  try {
    Thread.sleep(delay);
    HttpServletRequest hreq=(HttpServletRequest)ctx.getRequest();
    HttpServletResponse hresp=(HttpServletResponse)ctx.getResponse();
    RequestDispatcher rd;
{
      List<String> attrNames=Collections.list(hreq.getAttributeNames());
      StringBuilder txt=new StringBuilder(128);
      txt.append("String_Node_Str");
      txt.append("String_Node_Str").append(attrNames);
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append((String)hreq.getAttribute("String_Node_Str"));
      txt.append("String_Node_Str").append(hreq.getRequestURI());
      txt.append("String_Node_Str").append(hreq.getContextPath());
      txt.append("String_Node_Str").append(hreq.getServletPath());
      txt.append("String_Node_Str").append(hreq.getPathInfo());
      txt.append("String_Node_Str").append(hreq.getQueryString());
      LOGGER.fine(txt.toString());
    }
    PortletConfig config=(PortletConfig)hreq.getAttribute("String_Node_Str");
    String portletName="String_Node_Str";
    if (config != null) {
      portletName=config.getPortletName();
    }
switch (type) {
case TEXT:
      LOGGER.fine("String_Node_Str");
    StringBuilder txt=new StringBuilder(128);
  txt.append("String_Node_Str" + portletName + "String_Node_Str");
txt.append("String_Node_Str").append(hreq.getDispatcherType().toString());
txt.append("String_Node_Str");
hresp.getWriter().write(txt.toString());
if (done) {
ctx.complete();
}
 else {
hresp.flushBuffer();
}
break;
case AUTO:
StringBuilder str=new StringBuilder(128);
str.append("String_Node_Str");
str.append("String_Node_Str").append(hreq.getServletContext().getContextPath());
str.append("String_Node_Str").append(hreq.getServletPath());
LOGGER.fine(str.toString());
hreq.setAttribute(ATTRIB_AUTO,new Boolean(true));
ctx.dispatch(hreq.getServletContext(),hreq.getServletPath());
break;
case DISPATCH:
LOGGER.fine("String_Node_Str");
hreq.setAttribute(ATTRIB_TITLE,"String_Node_Str");
ctx.dispatch(hreq.getServletContext(),JSP);
break;
case FWD:
LOGGER.fine("String_Node_Str");
hreq.setAttribute(ATTRIB_TITLE,"String_Node_Str");
rd=hreq.getRequestDispatcher(JSP);
rd.forward(hreq,hresp);
if (done) {
ctx.complete();
}
 else {
hresp.flushBuffer();
}
break;
case INC:
LOGGER.fine("String_Node_Str");
hreq.setAttribute(ATTRIB_TITLE,"String_Node_Str");
rd=hreq.getRequestDispatcher(JSP);
rd.include(hreq,hresp);
if (done) {
ctx.complete();
}
 else {
hresp.flushBuffer();
}
break;
}
}
 catch (Exception e) {
LOGGER.warning("String_Node_Str" + e.toString());
}
}