Program: 90215
Project: 90215
Buggy source:
/** 
 * A method for handling Jetty requests.
 * @see AbstractHandler#handle(String,HttpServletRequest,HttpServletResponse,int)
 * @param string Unused domain.
 * @param httpServletRequest request object.
 * @param httpServletResponse the response to write to.
 * @param i Unused state.
 * @throws IOException On trouble in communication.
 * @throws ServletException On servlet trouble.
 */
public void handle(String string,HttpServletRequest httpServletRequest,HttpServletResponse httpServletResponse,int i) throws IOException, ServletException {
  Request request=((Request)httpServletRequest);
  String urlString=httpServletRequest.getRequestURL().toString();
  if (urlString.endsWith(UNREGISTER_URL_POSTFIX)) {
    URL url=new URL(urlString.substring(0,urlString.length() - UNREGISTER_URL_POSTFIX.length()));
    FileInfo fileInfo=registeredFiles.remove(url);
    if (fileInfo != null && fileInfo.deletable && fileInfo.file.exists()) {
      FileUtils.remove(fileInfo.file);
      log.debug("String_Node_Str" + fileInfo.file.getPath() + "String_Node_Str"+ url+ "String_Node_Str");
    }
    httpServletResponse.setStatus(200);
    request.setHandled(true);
  }
 else {
    URL url=new URL(urlString);
    FileInfo fileInfo=registeredFiles.get(url);
    if (fileInfo != null) {
      httpServletResponse.setStatus(200);
      FileUtils.writeFileToStream(fileInfo.file,httpServletResponse.getOutputStream());
      request.setHandled(true);
    }
 else {
      httpServletResponse.sendError(404);
    }
    log.debug("String_Node_Str" + fileInfo.file.getPath() + "String_Node_Str"+ url+ "String_Node_Str");
  }
}

Fixed version (ground truth):
/** 
 * A method for handling Jetty requests.
 * @see AbstractHandler#handle(String,HttpServletRequest,HttpServletResponse,int)
 * @param string Unused domain.
 * @param httpServletRequest request object.
 * @param httpServletResponse the response to write to.
 * @param i Unused state.
 * @throws IOException On trouble in communication.
 * @throws ServletException On servlet trouble.
 */
public void handle(String string,HttpServletRequest httpServletRequest,HttpServletResponse httpServletResponse,int i) throws IOException, ServletException {
  Request request=((Request)httpServletRequest);
  String urlString=httpServletRequest.getRequestURL().toString();
  if (urlString.endsWith(UNREGISTER_URL_POSTFIX)) {
    URL url=new URL(urlString.substring(0,urlString.length() - UNREGISTER_URL_POSTFIX.length()));
    FileInfo fileInfo=registeredFiles.remove(url);
    if (fileInfo != null && fileInfo.deletable && fileInfo.file.exists()) {
      FileUtils.remove(fileInfo.file);
      log.debug("String_Node_Str" + fileInfo.file.getPath() + "String_Node_Str"+ url+ "String_Node_Str");
    }
    httpServletResponse.setStatus(200);
    request.setHandled(true);
  }
 else {
    URL url=new URL(urlString);
    FileInfo fileInfo=registeredFiles.get(url);
    if (fileInfo != null) {
      httpServletResponse.setStatus(200);
      FileUtils.writeFileToStream(fileInfo.file,httpServletResponse.getOutputStream());
      request.setHandled(true);
      log.debug("String_Node_Str" + fileInfo.file.getPath() + "String_Node_Str"+ url+ "String_Node_Str");
    }
 else {
      httpServletResponse.sendError(404);
      log.debug("String_Node_Str" + url + "String_Node_Str");
    }
  }
}