Program: 12943
Project: 12943
Buggy source:
/** 
 * Constructor.
 * @param path The directory path to be created for this fileor null if none to be created.
 * @param filename File Name to which the PrintWriter willdo the Output.
 * @param docencoding Encoding to be used for this file.
 * @exception IOException Exception raised by the FileWriter is passed onto next level.
 * @exception UnSupportedEncodingException Exception raised by theOutputStreamWriter is passed on to next level.
 */
public HtmlWriter(Configuration configuration,String path,String filename,String docencoding) throws IOException, UnsupportedEncodingException {
  super(Util.genWriter(configuration,path,filename,docencoding));
  this.configuration=configuration;
  htmlFilename=filename;
  this.memberDetailsListPrinted=false;
  packageTableHeader=new String[]{configuration.getText("String_Node_Str"),configuration.getText("String_Node_Str")};
  useTableSummary=configuration.getText("String_Node_Str",configuration.getText("String_Node_Str"));
  modifierTypeHeader=configuration.getText("String_Node_Str",configuration.getText("String_Node_Str"),configuration.getText("String_Node_Str"));
  overviewLabel=getResource("String_Node_Str");
  defaultPackageLabel=new RawHtml(DocletConstants.DEFAULT_PACKAGE_NAME);
  packageLabel=getResource("String_Node_Str");
  useLabel=getResource("String_Node_Str");
  prevLabel=getResource("String_Node_Str");
  nextLabel=getResource("String_Node_Str");
  prevclassLabel=getResource("String_Node_Str");
  nextclassLabel=getResource("String_Node_Str");
  summaryLabel=getResource("String_Node_Str");
  detailLabel=getResource("String_Node_Str");
  framesLabel=getResource("String_Node_Str");
  noframesLabel=getResource("String_Node_Str");
  treeLabel=getResource("String_Node_Str");
  classLabel=getResource("String_Node_Str");
  deprecatedLabel=getResource("String_Node_Str");
  deprecatedPhrase=getResource("String_Node_Str");
  allclassesLabel=getResource("String_Node_Str");
  indexLabel=getResource("String_Node_Str");
  helpLabel=getResource("String_Node_Str");
  seeLabel=getResource("String_Node_Str");
  descriptionLabel=getResource("String_Node_Str");
  prevpackageLabel=getResource("String_Node_Str");
  nextpackageLabel=getResource("String_Node_Str");
  packagesLabel=getResource("String_Node_Str");
  methodDetailsLabel=getResource("String_Node_Str");
  annotationTypeDetailsLabel=getResource("String_Node_Str");
  fieldDetailsLabel=getResource("String_Node_Str");
  constructorDetailsLabel=getResource("String_Node_Str");
  enumConstantsDetailsLabel=getResource("String_Node_Str");
  specifiedByLabel=getResource("String_Node_Str");
  overridesLabel=getResource("String_Node_Str");
  descfrmClassLabel=getResource("String_Node_Str");
  descfrmInterfaceLabel=getResource("String_Node_Str");
}

Fixed version (ground truth):
/** 
 * Constructor.
 * @param path The directory path to be created for this fileor null if none to be created.
 * @param filename File Name to which the PrintWriter willdo the Output.
 * @param docencoding Encoding to be used for this file.
 * @exception IOException Exception raised by the FileWriter is passed onto next level.
 * @exception UnsupportedEncodingException Exception raised by theOutputStreamWriter is passed on to next level.
 */
public HtmlWriter(Configuration configuration,String path,String filename,String docencoding) throws IOException, UnsupportedEncodingException {
  super(Util.genWriter(configuration,path,filename,docencoding));
  this.configuration=configuration;
  htmlFilename=filename;
  this.memberDetailsListPrinted=false;
  packageTableHeader=new String[]{configuration.getText("String_Node_Str"),configuration.getText("String_Node_Str")};
  useTableSummary=configuration.getText("String_Node_Str",configuration.getText("String_Node_Str"));
  modifierTypeHeader=configuration.getText("String_Node_Str",configuration.getText("String_Node_Str"),configuration.getText("String_Node_Str"));
  overviewLabel=getResource("String_Node_Str");
  defaultPackageLabel=new RawHtml(DocletConstants.DEFAULT_PACKAGE_NAME);
  packageLabel=getResource("String_Node_Str");
  useLabel=getResource("String_Node_Str");
  prevLabel=getResource("String_Node_Str");
  nextLabel=getResource("String_Node_Str");
  prevclassLabel=getResource("String_Node_Str");
  nextclassLabel=getResource("String_Node_Str");
  summaryLabel=getResource("String_Node_Str");
  detailLabel=getResource("String_Node_Str");
  framesLabel=getResource("String_Node_Str");
  noframesLabel=getResource("String_Node_Str");
  treeLabel=getResource("String_Node_Str");
  classLabel=getResource("String_Node_Str");
  deprecatedLabel=getResource("String_Node_Str");
  deprecatedPhrase=getResource("String_Node_Str");
  allclassesLabel=getResource("String_Node_Str");
  indexLabel=getResource("String_Node_Str");
  helpLabel=getResource("String_Node_Str");
  seeLabel=getResource("String_Node_Str");
  descriptionLabel=getResource("String_Node_Str");
  prevpackageLabel=getResource("String_Node_Str");
  nextpackageLabel=getResource("String_Node_Str");
  packagesLabel=getResource("String_Node_Str");
  methodDetailsLabel=getResource("String_Node_Str");
  annotationTypeDetailsLabel=getResource("String_Node_Str");
  fieldDetailsLabel=getResource("String_Node_Str");
  constructorDetailsLabel=getResource("String_Node_Str");
  enumConstantsDetailsLabel=getResource("String_Node_Str");
  specifiedByLabel=getResource("String_Node_Str");
  overridesLabel=getResource("String_Node_Str");
  descfrmClassLabel=getResource("String_Node_Str");
  descfrmInterfaceLabel=getResource("String_Node_Str");
}