Program: 30317
Project: 30317
Buggy source:
/** 
 * Initialize this servlet.
 */
public void init() throws ServletException {
  ServletConfig sc=getServletConfig();
  if (sc.getInitParameter("String_Node_Str") != null)   debug=Integer.parseInt(sc.getInitParameter("String_Node_Str"));
  if (sc.getInitParameter("String_Node_Str") != null)   input=Integer.parseInt(sc.getInitParameter("String_Node_Str"));
  if (sc.getInitParameter("String_Node_Str") != null)   output=Integer.parseInt(sc.getInitParameter("String_Node_Str"));
  listings=Boolean.parseBoolean(sc.getInitParameter("String_Node_Str"));
  String sortedByInitParam=sc.getInitParameter("String_Node_Str");
  if (sortedByInitParam != null) {
    sortedBy=Enum.valueOf(SortedBy.class,sortedByInitParam);
  }
  if (sc.getInitParameter("String_Node_Str") != null)   readOnly=Boolean.parseBoolean(sc.getInitParameter("String_Node_Str"));
  if (sc.getInitParameter("String_Node_Str") != null)   sendfileSize=Integer.parseInt(sc.getInitParameter("String_Node_Str")) * 1024;
  fileEncoding=sc.getInitParameter("String_Node_Str");
  globalXsltFile=sc.getInitParameter("String_Node_Str");
  localXsltFile=sc.getInitParameter("String_Node_Str");
  readmeFile=sc.getInitParameter("String_Node_Str");
  if (sc.getInitParameter("String_Node_Str") != null)   useAcceptRanges=Boolean.parseBoolean(sc.getInitParameter("String_Node_Str"));
  if (input < 256)   input=256;
  if (output < 256)   output=256;
  if (debug > 0) {
    log("String_Node_Str" + input + "String_Node_Str"+ output);
  }
  resources=(ProxyDirContext)getServletContext().getAttribute(Globals.RESOURCES_ATTR);
  if (resources == null) {
    try {
      resources=(ProxyDirContext)new InitialContext().lookup(RESOURCES_JNDI_NAME);
    }
 catch (    NamingException e) {
      throw new ServletException("String_Node_Str",e);
    }
catch (    ClassCastException e) {
    }
  }
  if (resources == null) {
    throw new UnavailableException("String_Node_Str");
  }
  try {
    alternateDocBases=getAlternateDocBases();
  }
 catch (  ClassCastException e) {
  }
}

Fixed version (ground truth):
/** 
 * Initialize this servlet.
 */
public void init() throws ServletException {
  ServletConfig sc=getServletConfig();
  if (sc.getInitParameter("String_Node_Str") != null)   debug=Integer.parseInt(sc.getInitParameter("String_Node_Str"));
  if (sc.getInitParameter("String_Node_Str") != null)   input=Integer.parseInt(sc.getInitParameter("String_Node_Str"));
  if (sc.getInitParameter("String_Node_Str") != null)   output=Integer.parseInt(sc.getInitParameter("String_Node_Str"));
  listings=Boolean.parseBoolean(sc.getInitParameter("String_Node_Str"));
  String sortedByInitParam=sc.getInitParameter("String_Node_Str");
  if (sortedByInitParam != null) {
    sortedBy=Enum.valueOf(SortedBy.class,sortedByInitParam);
  }
  if (sc.getInitParameter("String_Node_Str") != null)   readOnly=Boolean.parseBoolean(sc.getInitParameter("String_Node_Str"));
  if (sc.getInitParameter("String_Node_Str") != null)   sendfileSize=Integer.parseInt(sc.getInitParameter("String_Node_Str")) * 1024;
  if (sc.getInitParameter("String_Node_Str") != null) {
    maxHeaderRangeItems=Integer.parseInt(sc.getInitParameter("String_Node_Str"));
  }
  fileEncoding=sc.getInitParameter("String_Node_Str");
  globalXsltFile=sc.getInitParameter("String_Node_Str");
  localXsltFile=sc.getInitParameter("String_Node_Str");
  readmeFile=sc.getInitParameter("String_Node_Str");
  if (sc.getInitParameter("String_Node_Str") != null)   useAcceptRanges=Boolean.parseBoolean(sc.getInitParameter("String_Node_Str"));
  if (input < 256)   input=256;
  if (output < 256)   output=256;
  if (debug > 0) {
    log("String_Node_Str" + input + "String_Node_Str"+ output);
  }
  resources=(ProxyDirContext)getServletContext().getAttribute(Globals.RESOURCES_ATTR);
  if (resources == null) {
    try {
      resources=(ProxyDirContext)new InitialContext().lookup(RESOURCES_JNDI_NAME);
    }
 catch (    NamingException e) {
      throw new ServletException("String_Node_Str",e);
    }
catch (    ClassCastException e) {
    }
  }
  if (resources == null) {
    throw new UnavailableException("String_Node_Str");
  }
  try {
    alternateDocBases=getAlternateDocBases();
  }
 catch (  ClassCastException e) {
  }
}