Program: 68941
Project: 68941
Buggy source:
/** 
 * Parses the style attribute of the element node and converts the deprecated element node in HTML 4.0, and calls it on its children element nodes recursively
 * @param ele the element node in the DOM tree
 * @param text the text content object
 */
public void execute(Element ele,HashMap styles){
  HashMap cssStyle=new HashMap();
  if (ele.hasAttribute("String_Node_Str")) {
    String inlineStyle=ele.getAttribute("String_Node_Str");
    if (null != inlineStyle && !"String_Node_Str".equals(inlineStyle)) {
      StringBuffer buffer=new StringBuffer();
      Matcher matcher=pattern.matcher(inlineStyle);
      while (matcher.find()) {
        String name=matcher.group(1);
        String value=matcher.group(2);
        if (name != null && name.length() > 0 && value != null && value.length() > 0) {
          cssStyle.put(name,value);
        }
      }
      ele.removeAttribute("String_Node_Str");
      String src=(String)cssStyle.get("String_Node_Str");
      if (src != null) {
        if (src.startsWith("String_Node_Str") && src.length() > 5) {
          src=src.substring(4,src.length() - 1);
        }
 else         if ((src.startsWith("String_Node_Str") || src.startsWith("String_Node_Str")) && src.length() > 2) {
          src=src.substring(1,src.length() - 1);
        }
        if (design != null) {
          URL url=design.findResource(src,IResourceLocator.IMAGE,appContext);
          if (url != null) {
            src=url.toExternalForm();
          }
        }
        if (rootPath != null) {
          if (FileUtil.isLocalResource(src)) {
            src=FileUtil.getAbsolutePath(rootPath,src);
          }
        }
        if (src != null) {
          cssStyle.put("String_Node_Str",src);
        }
 else {
          cssStyle.remove("String_Node_Str");
        }
      }
    }
    if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str","String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str","String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str",ele.getAttribute("String_Node_Str"));
      addToStyle(cssStyle,"String_Node_Str",ele.getAttribute("String_Node_Str"));
      if (ele.hasAttribute("String_Node_Str")) {
        try {
          int size=Integer.parseInt(ele.getAttribute("String_Node_Str"));
          addToStyle(cssStyle,"String_Node_Str",FONT_SIZE[size + 7]);
        }
 catch (        Exception e) {
          logger.log(Level.SEVERE,"String_Node_Str");
        }
      }
      ele.removeAttribute("String_Node_Str");
      ele.removeAttribute("String_Node_Str");
      ele.removeAttribute("String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str","String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      String decoration=(String)cssStyle.get("String_Node_Str");
      if (decoration != null && decoration.indexOf("String_Node_Str") == -1 && decoration.indexOf("String_Node_Str") == -1 && decoration.indexOf("String_Node_Str") == -1) {
        decoration=decoration + "String_Node_Str";
      }
 else       if (decoration == null) {
        decoration="String_Node_Str";
      }
      cssStyle.put("String_Node_Str",decoration);
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      String src=ele.getAttribute("String_Node_Str");
      if (src != null) {
        if ((src.startsWith("String_Node_Str") || src.startsWith("String_Node_Str")) && src.length() > 2) {
          src=src.substring(1,src.length() - 1);
        }
        if (design != null) {
          URL url=design.findResource(src,IResourceLocator.IMAGE,appContext);
          if (url != null) {
            src=url.toExternalForm();
          }
        }
        if (rootPath != null) {
          if (FileUtil.isLocalResource(src)) {
            src=FileUtil.getAbsolutePath(rootPath,src);
          }
        }
        if (src != null) {
          ele.removeAttribute("String_Node_Str");
          ele.setAttribute("String_Node_Str",src);
        }
      }
    }
    styles.put(ele,cssStyle);
  }
  for (int i=0; i < ele.getChildNodes().getLength(); i++) {
    Node child=ele.getChildNodes().item(i);
    if (child.getNodeType() == Node.ELEMENT_NODE) {
      execute((Element)child,styles);
    }
  }
}

Fixed version (ground truth):
/** 
 * Parses the style attribute of the element node and converts the deprecated element node in HTML 4.0, and calls it on its children element nodes recursively
 * @param ele the element node in the DOM tree
 * @param text the text content object
 */
public void execute(Element ele,HashMap styles){
  HashMap cssStyle=new HashMap();
  if (ele.hasAttribute("String_Node_Str")) {
    String inlineStyle=ele.getAttribute("String_Node_Str");
    if (null != inlineStyle && !"String_Node_Str".equals(inlineStyle)) {
      StringBuffer buffer=new StringBuffer();
      Matcher matcher=pattern.matcher(inlineStyle);
      while (matcher.find()) {
        String name=matcher.group(1);
        String value=matcher.group(2);
        if (name != null && name.length() > 0 && value != null && value.length() > 0) {
          cssStyle.put(name,value.trim());
        }
      }
      ele.removeAttribute("String_Node_Str");
      String src=(String)cssStyle.get("String_Node_Str");
      if (src != null) {
        if (src.startsWith("String_Node_Str") && src.length() > 5) {
          src=src.substring(4,src.length() - 1);
        }
 else         if ((src.startsWith("String_Node_Str") || src.startsWith("String_Node_Str")) && src.length() > 2) {
          src=src.substring(1,src.length() - 1);
        }
        if (design != null) {
          URL url=design.findResource(src,IResourceLocator.IMAGE,appContext);
          if (url != null) {
            src=url.toExternalForm();
          }
        }
        if (rootPath != null) {
          if (FileUtil.isLocalResource(src)) {
            src=FileUtil.getAbsolutePath(rootPath,src);
          }
        }
        if (src != null) {
          cssStyle.put("String_Node_Str",src);
        }
 else {
          cssStyle.remove("String_Node_Str");
        }
      }
    }
    if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str","String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str","String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str",ele.getAttribute("String_Node_Str"));
      addToStyle(cssStyle,"String_Node_Str",ele.getAttribute("String_Node_Str"));
      if (ele.hasAttribute("String_Node_Str")) {
        try {
          int size=Integer.parseInt(ele.getAttribute("String_Node_Str"));
          addToStyle(cssStyle,"String_Node_Str",FONT_SIZE[size + 7]);
        }
 catch (        Exception e) {
          logger.log(Level.SEVERE,"String_Node_Str");
        }
      }
      ele.removeAttribute("String_Node_Str");
      ele.removeAttribute("String_Node_Str");
      ele.removeAttribute("String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      addToStyle(cssStyle,"String_Node_Str","String_Node_Str");
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      String decoration=(String)cssStyle.get("String_Node_Str");
      if (decoration != null && decoration.indexOf("String_Node_Str") == -1 && decoration.indexOf("String_Node_Str") == -1 && decoration.indexOf("String_Node_Str") == -1) {
        decoration=decoration + "String_Node_Str";
      }
 else       if (decoration == null) {
        decoration="String_Node_Str";
      }
      cssStyle.put("String_Node_Str",decoration);
      ele=replaceElement(ele,"String_Node_Str");
    }
 else     if ("String_Node_Str".equals(ele.getTagName())) {
      String src=ele.getAttribute("String_Node_Str");
      if (src != null) {
        if ((src.startsWith("String_Node_Str") || src.startsWith("String_Node_Str")) && src.length() > 2) {
          src=src.substring(1,src.length() - 1);
        }
        if (design != null) {
          URL url=design.findResource(src,IResourceLocator.IMAGE,appContext);
          if (url != null) {
            src=url.toExternalForm();
          }
        }
        if (rootPath != null) {
          if (FileUtil.isLocalResource(src)) {
            src=FileUtil.getAbsolutePath(rootPath,src);
          }
        }
        if (src != null) {
          ele.removeAttribute("String_Node_Str");
          ele.setAttribute("String_Node_Str",src);
        }
      }
    }
    styles.put(ele,cssStyle);
  }
  for (int i=0; i < ele.getChildNodes().getLength(); i++) {
    Node child=ele.getChildNodes().item(i);
    if (child.getNodeType() == Node.ELEMENT_NODE) {
      execute((Element)child,styles);
    }
  }
}