Program: 79969
Project: 79969
Buggy source:
public static HTTPRequestAdapter parseRequest(HttpServletRequest httpServletRequest) throws Exception {
  HTTPRequestAdapter request=new HTTPRequestAdapter(httpServletRequest);
  HTTPRequestAdapter.current.set(request);
  URI uri=new URI(httpServletRequest.getRequestURI());
  request.method=httpServletRequest.getMethod().intern();
  request.path=httpServletRequest.getPathInfo() != null ? httpServletRequest.getPathInfo() : "String_Node_Str";
  request.servletPath=httpServletRequest.getServletPath() != null ? httpServletRequest.getServletPath() : "String_Node_Str";
  request.contextPath=httpServletRequest.getContextPath() != null ? httpServletRequest.getContextPath() : "String_Node_Str";
  request.setQueryString(httpServletRequest.getQueryString() == null ? "String_Node_Str" : httpServletRequest.getQueryString());
  logger.trace("String_Node_Str" + request.contextPath,"String_Node_Str" + request.servletPath);
  logger.trace("String_Node_Str" + request.path + "String_Node_Str"+ request.getQueryString());
  if (httpServletRequest.getHeader("String_Node_Str") != null) {
    request.contentType=httpServletRequest.getHeader("String_Node_Str").split("String_Node_Str")[0].trim().toLowerCase().intern();
  }
 else {
    request.contentType="String_Node_Str".intern();
  }
  if (httpServletRequest.getHeader("String_Node_Str") != null) {
    request.method=httpServletRequest.getHeader("String_Node_Str").intern();
  }
  request.setSecure(httpServletRequest.isSecure());
  request.url=httpServletRequest.getRequestURI();
  request.host=httpServletRequest.getHeader("String_Node_Str");
  if (request.host.contains("String_Node_Str")) {
    request.port=Integer.parseInt(request.host.split("String_Node_Str")[1]);
    request.domain=request.host.split("String_Node_Str")[0];
  }
 else {
    request.port=80;
    request.domain=request.host;
  }
  request.remoteAddress=httpServletRequest.getRemoteAddr();
  Enumeration headersNames=httpServletRequest.getHeaderNames();
  while (headersNames.hasMoreElements()) {
    HTTPRequestAdapter.Header hd=request.new Header();
    hd.name=(String)headersNames.nextElement();
    hd.values=new ArrayList<String>();
    Enumeration enumValues=httpServletRequest.getHeaders(hd.name);
    while (enumValues.hasMoreElements()) {
      String value=(String)enumValues.nextElement();
      hd.values.add(value);
    }
    request.headers.put(hd.name.toLowerCase(),hd);
  }
  request.resolveFormat();
  return request;
}

Fixed version (ground truth):
public static HTTPRequestAdapter parseRequest(HttpServletRequest httpServletRequest) throws Exception {
  HTTPRequestAdapter request=new HTTPRequestAdapter(httpServletRequest);
  HTTPRequestAdapter.current.set(request);
  URI uri=new URI(httpServletRequest.getRequestURI());
  request.method=httpServletRequest.getMethod().intern();
  request.path=httpServletRequest.getPathInfo() != null ? httpServletRequest.getPathInfo() : httpServletRequest.getServletPath();
  request.servletPath=httpServletRequest.getServletPath() != null ? httpServletRequest.getServletPath() : "String_Node_Str";
  request.contextPath=httpServletRequest.getContextPath() != null ? httpServletRequest.getContextPath() : "String_Node_Str";
  request.setQueryString(httpServletRequest.getQueryString() == null ? "String_Node_Str" : httpServletRequest.getQueryString());
  logger.trace("String_Node_Str" + request.contextPath,"String_Node_Str" + request.servletPath);
  logger.trace("String_Node_Str" + request.path + "String_Node_Str"+ request.getQueryString());
  if (httpServletRequest.getHeader("String_Node_Str") != null) {
    request.contentType=httpServletRequest.getHeader("String_Node_Str").split("String_Node_Str")[0].trim().toLowerCase().intern();
  }
 else {
    request.contentType="String_Node_Str".intern();
  }
  if (httpServletRequest.getHeader("String_Node_Str") != null) {
    request.method=httpServletRequest.getHeader("String_Node_Str").intern();
  }
  request.setSecure(httpServletRequest.isSecure());
  request.url=httpServletRequest.getRequestURI();
  request.host=httpServletRequest.getHeader("String_Node_Str");
  if (request.host.contains("String_Node_Str")) {
    request.port=Integer.parseInt(request.host.split("String_Node_Str")[1]);
    request.domain=request.host.split("String_Node_Str")[0];
  }
 else {
    request.port=80;
    request.domain=request.host;
  }
  request.remoteAddress=httpServletRequest.getRemoteAddr();
  Enumeration headersNames=httpServletRequest.getHeaderNames();
  while (headersNames.hasMoreElements()) {
    HTTPRequestAdapter.Header hd=request.new Header();
    hd.name=(String)headersNames.nextElement();
    hd.values=new ArrayList<String>();
    Enumeration enumValues=httpServletRequest.getHeaders(hd.name);
    while (enumValues.hasMoreElements()) {
      String value=(String)enumValues.nextElement();
      hd.values.add(value);
    }
    request.headers.put(hd.name.toLowerCase(),hd);
  }
  request.resolveFormat();
  return request;
}