Program: 143762
Project: 143762
Buggy source:
@Override public void renderHead(HtmlHeaderContainer container){
  super.renderHead(container);
  IHeaderResponse headerResponse=container.getHeaderResponse();
  YUILoader.renderResize(headerResponse);
  String dim, dim_o, pos;
  if (orient == TabPanel.SPLIT_HORIZONTAL) {
    dim="String_Node_Str";
    dim_o="String_Node_Str";
    pos="String_Node_Str";
  }
 else {
    dim="String_Node_Str";
    dim_o="String_Node_Str";
    pos="String_Node_Str";
  }
  Map<String,String> leftPanelOverflow=getFormOverflowStyle(getLeftForm());
  Map<String,String> rightPanelOverflow=getFormOverflowStyle(getRightForm());
  StringBuffer resizeScript=new StringBuffer("String_Node_Str").append(splitter.getMarkupId()).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(splitComponents[0].getMarkupId()).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(isOpaque() ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(leftPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(leftPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(splitComponents[1].getMarkupId()).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(rightPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(rightPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str").append(dividerSize + leftFormMinSize).append("String_Node_Str").append(dim).append("String_Node_Str").append(dim).append("String_Node_Str").append(rightFormMinSize).append("String_Node_Str").append(continuousLayout ? "String_Node_Str" : "String_Node_Str");
  resizeScript.append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
  String dividerBg=null;
  if (!isOpaque()) {
    dividerBg="String_Node_Str";
  }
 else   if (background != null) {
    dividerBg=Integer.toHexString(background.getRGB());
    dividerBg="String_Node_Str" + dividerBg.substring(2,dividerBg.length());
  }
  dim=dim.toLowerCase();
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str").append("String_Node_Str").append(dim).append("String_Node_Str").append(dividerSize).append("String_Node_Str").append(dividerBg != null ? "String_Node_Str" + dividerBg + "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
  if (!continuousLayout) {
    resizeScript.append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
    resizeScript.append("String_Node_Str");
    resizeScript.append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str").append(dividerSize).append("String_Node_Str").append(dividerBg != null ? dividerBg : "String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str");
  }
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str").append(dividerSize).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(pos).append("String_Node_Str");
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dividerUpdater.getCallbackUrl()).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(dividerSize).append("String_Node_Str");
  resizeScript.append("String_Node_Str");
  boolean useAnchors=Utils.getAsBoolean(application.getRuntimeProperties().get("String_Node_Str"));
  if (useAnchors) {
    String splitId=getMarkupId();
    resizeScript.append("String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(resizeWeight).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(dividerSize).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(leftFormMinSize).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(rightFormMinSize).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(dividerUpdater.getCallbackUrl()).append("String_Node_Str");
    resizeScript.append("String_Node_Str");
  }
  ClientProperties clp=((WebClientInfo)Session.get().getClientInfo()).getProperties();
  if (clp.isBrowserKonqueror() || clp.isBrowserSafari())   headerResponse.renderOnLoadJavascript(resizeScript.toString());
 else   headerResponse.renderOnDomReadyJavascript(resizeScript.toString());
}

Fixed version (ground truth):
@Override public void renderHead(HtmlHeaderContainer container){
  super.renderHead(container);
  IHeaderResponse headerResponse=container.getHeaderResponse();
  YUILoader.renderResize(headerResponse);
  String dim, dim_o, pos;
  if (orient == TabPanel.SPLIT_HORIZONTAL) {
    dim="String_Node_Str";
    dim_o="String_Node_Str";
    pos="String_Node_Str";
  }
 else {
    dim="String_Node_Str";
    dim_o="String_Node_Str";
    pos="String_Node_Str";
  }
  Map<String,String> leftPanelOverflow=getFormOverflowStyle(getLeftForm());
  Map<String,String> rightPanelOverflow=getFormOverflowStyle(getRightForm());
  StringBuffer resizeScript=new StringBuffer("String_Node_Str").append(splitter.getMarkupId()).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(splitComponents[0].getMarkupId()).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(isOpaque() ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(leftPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(leftPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(splitComponents[1].getMarkupId()).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(rightPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(rightPanelOverflow.get("String_Node_Str")).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str").append(dividerSize + leftFormMinSize).append("String_Node_Str").append(dim).append("String_Node_Str").append(dim).append("String_Node_Str").append(rightFormMinSize).append("String_Node_Str").append(continuousLayout ? "String_Node_Str" : "String_Node_Str");
  resizeScript.append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
  String dividerBg=null;
  if (!isOpaque()) {
    dividerBg="String_Node_Str";
  }
 else   if (background != null) {
    dividerBg=Integer.toHexString(background.getRGB());
    dividerBg="String_Node_Str" + dividerBg.substring(2,dividerBg.length());
  }
  dim=dim.toLowerCase();
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str").append("String_Node_Str").append(dim).append("String_Node_Str").append(dividerSize).append("String_Node_Str").append(dividerBg != null ? "String_Node_Str" + dividerBg + "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
  ArrayList<String> tableViewTabIds=new ArrayList<String>();
  for (int i=0; i < 2; i++) {
    if (webTabs[i] != null) {
      int webTabFormViewType=webTabs[i].getPanel().getWebForm().getController().getView();
      if (webTabFormViewType == FormController.TABLE_VIEW || webTabFormViewType == FormController.LOCKED_TABLE_VIEW) {
        tableViewTabIds.add(webTabs[i].getPanel().getFormName());
      }
    }
  }
  for (  String tableViewTabId : tableViewTabIds) {
    resizeScript.append("String_Node_Str").append(tableViewTabId).append("String_Node_Str").append(tableViewTabId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(tableViewTabId).append("String_Node_Str").append(tableViewTabId).append("String_Node_Str");
  }
  if (!continuousLayout) {
    resizeScript.append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
    resizeScript.append("String_Node_Str");
    resizeScript.append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str").append(dividerSize).append("String_Node_Str").append(dividerBg != null ? dividerBg : "String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str");
  }
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str").append(dividerSize).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(pos).append("String_Node_Str");
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dim_o).append("String_Node_Str");
  resizeScript.append("String_Node_Str").append(dividerUpdater.getCallbackUrl()).append("String_Node_Str").append("String_Node_Str").append("String_Node_Str").append(dividerSize).append("String_Node_Str");
  resizeScript.append("String_Node_Str");
  boolean useAnchors=Utils.getAsBoolean(application.getRuntimeProperties().get("String_Node_Str"));
  if (useAnchors) {
    String splitId=getMarkupId();
    resizeScript.append("String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(orient == TabPanel.SPLIT_HORIZONTAL ? "String_Node_Str" : "String_Node_Str").append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(resizeWeight).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(dividerSize).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(leftFormMinSize).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(rightFormMinSize).append("String_Node_Str");
    resizeScript.append("String_Node_Str").append(splitId).append("String_Node_Str").append(dividerUpdater.getCallbackUrl()).append("String_Node_Str");
    resizeScript.append("String_Node_Str");
  }
  ClientProperties clp=((WebClientInfo)Session.get().getClientInfo()).getProperties();
  if (clp.isBrowserKonqueror() || clp.isBrowserSafari())   headerResponse.renderOnLoadJavascript(resizeScript.toString());
 else   headerResponse.renderOnDomReadyJavascript(resizeScript.toString());
}