Program: 180163
Project: 180163
Buggy source:
public TemplateModelRoot get(RequestParameters params,HttpServletRequest req,HttpServletResponse resp){
  String file_path, file_title, file_type, file_last_modified, file_content;
  long file_size;
  boolean is_image=false;
  boolean is_text=false;
  file_type="String_Node_Str";
  file_last_modified="String_Node_Str";
  file_content="String_Node_Str";
  file_size=0;
  file_path=req.getContextPath();
  file_path=htmlSpaceCheck(file_path);
  file_title=file_path.substring(file_path.lastIndexOf("String_Node_Str") + 1);
  if (file_title.equals("String_Node_Str"))   file_title="String_Node_Str";
  file_path=parseFilePath(req.getContextPath());
  file_path=htmlSpaceCheck(file_path);
  if (file_path.compareTo("String_Node_Str") != 0) {
    file=new File(file_path);
    if (file.exists()) {
      file_type=getMimeType(file_path);
      file_size=file.length();
      DateFormat dateFormat=new SimpleDateFormat("String_Node_Str");
      java.util.Date date=new java.util.Date(file.lastModified());
      file_last_modified=dateFormat.format(date);
      is_image=file_type.indexOf("String_Node_Str") > -1;
      if (!is_image) {
        is_text=isText(file);
        if (is_text) {
          FileInputStream fis=null;
          BufferedInputStream bis=null;
          DataInputStream dis=null;
          try {
            fis=new FileInputStream(file);
            bis=new BufferedInputStream(fis);
            dis=new DataInputStream(bis);
            file_content="String_Node_Str";
            while (dis.available() != 0) {
              file_content+=encodeHTML(dis.readLine()) + "String_Node_Str";
            }
          }
 catch (          FileNotFoundException e) {
            LogManager.logDebug(this.getClass().getName() + "String_Node_Str" + e.getMessage());
          }
catch (          IOException e) {
            LogManager.logDebug(this.getClass().getName() + "String_Node_Str" + e.getMessage());
          }
 finally {
            try {
              if (fis != null)               fis.close();
              if (bis != null)               bis.close();
              if (dis != null)               dis.close();
            }
 catch (            IOException e) {
              LogManager.logDebug(this.getClass().getName() + "String_Node_Str" + e.getMessage());
            }
          }
        }
 else {
          file_type="String_Node_Str";
        }
      }
    }
 else {
      file_title="String_Node_Str";
    }
  }
  SimpleHash root=new SimpleHash();
  root.put("String_Node_Str",file_title);
  root.put("String_Node_Str",file_path);
  root.put("String_Node_Str",file_type);
  root.put("String_Node_Str",file_last_modified);
  root.put("String_Node_Str",file_content);
  root.put("String_Node_Str",file_size / 1000);
  root.put("String_Node_Str",is_image + "String_Node_Str");
  root.put("String_Node_Str",is_text + "String_Node_Str");
  return root;
}

Fixed version (ground truth):
public TemplateModelRoot get(RequestParameters params,HttpServletRequest req,HttpServletResponse resp){
  String file_path, file_title, file_type, file_last_modified, file_content;
  long file_size;
  boolean is_image=false;
  boolean is_text=false;
  file_type="String_Node_Str";
  file_last_modified="String_Node_Str";
  file_content="String_Node_Str";
  file_size=0;
  file_path=req.getQueryString();
  if (file_path == null)   file_path="String_Node_Str";
  file_path=htmlSpaceCheck(file_path);
  file_title=file_path.substring(file_path.lastIndexOf("String_Node_Str") + 1);
  file_path=req.getQueryString();
  if (file_path == null)   file_path="String_Node_Str";
  file_path=parseFilePath(req.getContextPath());
  file_path=htmlSpaceCheck(file_path);
  if (file_path.compareTo("String_Node_Str") != 0) {
    file=new File(file_path);
    if (file.exists()) {
      file_type=getMimeType(file_path);
      file_size=file.length();
      DateFormat dateFormat=new SimpleDateFormat("String_Node_Str");
      java.util.Date date=new java.util.Date(file.lastModified());
      file_last_modified=dateFormat.format(date);
      is_image=file_type.indexOf("String_Node_Str") > -1;
      if (!is_image) {
        is_text=isText(file);
        if (is_text) {
          FileInputStream fis=null;
          BufferedInputStream bis=null;
          DataInputStream dis=null;
          try {
            fis=new FileInputStream(file);
            bis=new BufferedInputStream(fis);
            dis=new DataInputStream(bis);
            file_content="String_Node_Str";
            while (dis.available() != 0) {
              file_content+=encodeHTML(dis.readLine()) + "String_Node_Str";
            }
          }
 catch (          FileNotFoundException e) {
            LogManager.logDebug(this.getClass().getName() + "String_Node_Str" + e.getMessage());
          }
catch (          IOException e) {
            LogManager.logDebug(this.getClass().getName() + "String_Node_Str" + e.getMessage());
          }
 finally {
            try {
              if (fis != null)               fis.close();
              if (bis != null)               bis.close();
              if (dis != null)               dis.close();
            }
 catch (            IOException e) {
              LogManager.logDebug(this.getClass().getName() + "String_Node_Str" + e.getMessage());
            }
          }
        }
 else {
          file_type="String_Node_Str";
        }
      }
    }
 else {
      file_title="String_Node_Str";
    }
  }
  SimpleHash root=new SimpleHash();
  root.put("String_Node_Str",file_title);
  root.put("String_Node_Str",file_path);
  root.put("String_Node_Str",file_type);
  root.put("String_Node_Str",file_last_modified);
  root.put("String_Node_Str",file_content);
  root.put("String_Node_Str",file_size / 1000);
  root.put("String_Node_Str",is_image + "String_Node_Str");
  root.put("String_Node_Str",is_text + "String_Node_Str");
  return root;
}