Program: 51924
Project: 51924
Buggy source:
public void show(){
  if (dialog != null) {
    for (    XulButton btn : dialogButtons) {
      this.removeChild(btn);
    }
    super.layout();
    for (    XulButton btn : dialogButtons) {
      this.addChild(btn);
    }
    dialog.center();
    dialog.show();
    RootPanel.get().add(glasspane);
    GlassPane.getInstance().show();
    glasspane.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (GwtDialog.dialogPos));
    dialog.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (++GwtDialog.dialogPos));
    return;
  }
  dialog=new DialogBox(){
    @Override public void hide(){
      super.hide();
      RootPanel.get().remove(glasspane);
      GlassPane.getInstance().hide();
    }
  }
;
  dialog.setWidth(getWidth() + "String_Node_Str");
  dialog.setHeight(getHeight() + "String_Node_Str");
  dialog.setText(getTitle());
  VerticalPanel panel=new VerticalPanel();
  VerticalPanel contentPanel=new VerticalPanel();
  contentPanel.setHeight("String_Node_Str");
  contentPanel.setWidth("String_Node_Str");
  contentPanel.setStyleName("String_Node_Str");
  contentPanel.setWidth("String_Node_Str");
  SimplePanel sp=new SimplePanel();
  sp.getElement().setClassName("String_Node_Str");
  sp.add(contentPanel);
  panel.add(sp);
  panel.setCellWidth(contentPanel,"String_Node_Str");
  panel.setCellHeight(contentPanel,"String_Node_Str");
  panel.setStyleName("String_Node_Str");
  container=contentPanel;
  if (getBgcolor() != null) {
    container.getElement().getStyle().setProperty("String_Node_Str",getBgcolor());
  }
  boolean ignoreIndividualButtonAlign=false;
  String buttonalign=getButtonalign();
  if (!StringUtils.isEmpty(buttonalign)) {
    ignoreIndividualButtonAlign=true;
  }
  HorizontalPanel buttonPanel=new HorizontalPanel();
  HorizontalPanel leftButtonPanel=new HorizontalPanel();
  HorizontalPanel centerButtonPanel=new HorizontalPanel();
  HorizontalPanel rightButtonPanel=new HorizontalPanel();
  rightButtonPanel.setSpacing(3);
  centerButtonPanel.setSpacing(3);
  leftButtonPanel.setSpacing(3);
  for (  XulButton btn : dialogButtons) {
    this.removeChild(btn);
    Widget widget=(Widget)btn.getManagedObject();
    if (!ignoreIndividualButtonAlign) {
      String align=btn.getAlign();
      if (!StringUtils.isEmpty(align)) {
        if ("String_Node_Str".equals(align)) {
          centerButtonPanel.add(widget);
        }
 else         if ("String_Node_Str".equals(align)) {
          leftButtonPanel.add(widget);
        }
 else {
          rightButtonPanel.add(widget);
        }
      }
    }
 else {
      if ("String_Node_Str".equals(buttonalign)) {
        centerButtonPanel.add(widget);
      }
 else       if ("String_Node_Str".equals(buttonalign)) {
        leftButtonPanel.add(widget);
      }
 else {
        rightButtonPanel.add(widget);
      }
    }
  }
  buttonPanel.add(leftButtonPanel);
  buttonPanel.setCellHorizontalAlignment(leftButtonPanel,HorizontalPanel.ALIGN_LEFT);
  buttonPanel.add(centerButtonPanel);
  buttonPanel.setCellHorizontalAlignment(centerButtonPanel,HorizontalPanel.ALIGN_CENTER);
  buttonPanel.setCellWidth(centerButtonPanel,"String_Node_Str");
  buttonPanel.add(rightButtonPanel);
  buttonPanel.setCellHorizontalAlignment(rightButtonPanel,HorizontalPanel.ALIGN_RIGHT);
  super.layout();
  for (  XulButton btn : dialogButtons) {
    this.addChild(btn);
  }
  if (buttonPanel != null) {
    HorizontalPanel buttonPanelWrapper=new HorizontalPanel();
    buttonPanelWrapper.setStyleName("String_Node_Str");
    buttonPanelWrapper.add(buttonPanel);
    buttonPanelWrapper.setWidth("String_Node_Str");
    panel.add(buttonPanelWrapper);
    buttonPanelWrapper.setCellWidth(buttonPanel,"String_Node_Str");
  }
  panel.setSpacing(1);
  panel.setHeight("String_Node_Str");
  panel.setWidth("String_Node_Str");
  dialog.add(panel);
  GlassPane.getInstance().show();
  dialog.center();
  dialog.show();
  RootPanel.get().add(glasspane);
  Style glassPaneStyle=glasspane.getElement().getStyle();
  glassPaneStyle.setProperty("String_Node_Str","String_Node_Str");
  glassPaneStyle.setProperty("String_Node_Str","String_Node_Str");
  glassPaneStyle.setProperty("String_Node_Str","String_Node_Str");
  glasspane.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (GwtDialog.dialogPos));
  dialog.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (++GwtDialog.dialogPos));
}

Fixed version (ground truth):
public void show(){
  if (dialog != null) {
    for (    XulButton btn : dialogButtons) {
      this.removeChild(btn);
    }
    super.layout();
    for (    XulButton btn : dialogButtons) {
      this.addChild(btn);
    }
    dialog.center();
    dialog.show();
    RootPanel.get().add(glasspane);
    GlassPane.getInstance().show();
    glasspane.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (GwtDialog.dialogPos));
    dialog.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (++GwtDialog.dialogPos));
    return;
  }
  dialog=new DialogBox(){
    @Override public void hide(){
      super.hide();
      RootPanel.get().remove(glasspane);
      GlassPane.getInstance().hide();
    }
  }
;
  dialog.setWidth(getWidth() + "String_Node_Str");
  dialog.setHeight("String_Node_Str");
  dialog.setText(getTitle());
  VerticalPanel panel=new VerticalPanel();
  VerticalPanel contentPanel=new VerticalPanel();
  contentPanel.setHeight("String_Node_Str");
  contentPanel.setWidth("String_Node_Str");
  contentPanel.setStyleName("String_Node_Str");
  contentPanel.setWidth("String_Node_Str");
  SimplePanel sp=new SimplePanel();
  sp.getElement().setClassName("String_Node_Str");
  sp.add(contentPanel);
  panel.add(sp);
  panel.setCellWidth(sp,"String_Node_Str");
  panel.setCellHeight(sp,"String_Node_Str");
  panel.setStyleName("String_Node_Str");
  container=contentPanel;
  if (getBgcolor() != null) {
    container.getElement().getStyle().setProperty("String_Node_Str",getBgcolor());
  }
  boolean ignoreIndividualButtonAlign=false;
  String buttonalign=getButtonalign();
  if (!StringUtils.isEmpty(buttonalign)) {
    ignoreIndividualButtonAlign=true;
  }
  HorizontalPanel buttonPanel=new HorizontalPanel();
  HorizontalPanel leftButtonPanel=new HorizontalPanel();
  HorizontalPanel centerButtonPanel=new HorizontalPanel();
  HorizontalPanel rightButtonPanel=new HorizontalPanel();
  rightButtonPanel.setSpacing(3);
  centerButtonPanel.setSpacing(3);
  leftButtonPanel.setSpacing(3);
  for (  XulButton btn : dialogButtons) {
    this.removeChild(btn);
    Widget widget=(Widget)btn.getManagedObject();
    if (!ignoreIndividualButtonAlign) {
      String align=btn.getAlign();
      if (!StringUtils.isEmpty(align)) {
        if ("String_Node_Str".equals(align)) {
          centerButtonPanel.add(widget);
        }
 else         if ("String_Node_Str".equals(align)) {
          leftButtonPanel.add(widget);
        }
 else {
          rightButtonPanel.add(widget);
        }
      }
    }
 else {
      if ("String_Node_Str".equals(buttonalign)) {
        centerButtonPanel.add(widget);
      }
 else       if ("String_Node_Str".equals(buttonalign)) {
        leftButtonPanel.add(widget);
      }
 else {
        rightButtonPanel.add(widget);
      }
    }
  }
  buttonPanel.add(leftButtonPanel);
  buttonPanel.setCellHorizontalAlignment(leftButtonPanel,HorizontalPanel.ALIGN_LEFT);
  buttonPanel.add(centerButtonPanel);
  buttonPanel.setCellHorizontalAlignment(centerButtonPanel,HorizontalPanel.ALIGN_CENTER);
  buttonPanel.setCellWidth(centerButtonPanel,"String_Node_Str");
  buttonPanel.add(rightButtonPanel);
  buttonPanel.setCellHorizontalAlignment(rightButtonPanel,HorizontalPanel.ALIGN_RIGHT);
  super.layout();
  for (  XulButton btn : dialogButtons) {
    this.addChild(btn);
  }
  if (buttonPanel != null) {
    HorizontalPanel buttonPanelWrapper=new HorizontalPanel();
    buttonPanelWrapper.setStyleName("String_Node_Str");
    buttonPanelWrapper.add(buttonPanel);
    buttonPanelWrapper.setWidth("String_Node_Str");
    panel.add(buttonPanelWrapper);
    buttonPanelWrapper.setCellWidth(buttonPanel,"String_Node_Str");
  }
  panel.setSpacing(1);
  panel.setWidth(getWidth() + "String_Node_Str");
  panel.setHeight(getHeight() + "String_Node_Str");
  dialog.add(panel);
  GlassPane.getInstance().show();
  dialog.center();
  dialog.show();
  RootPanel.get().add(glasspane);
  Style glassPaneStyle=glasspane.getElement().getStyle();
  glassPaneStyle.setProperty("String_Node_Str","String_Node_Str");
  glassPaneStyle.setProperty("String_Node_Str","String_Node_Str");
  glassPaneStyle.setProperty("String_Node_Str","String_Node_Str");
  glasspane.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (GwtDialog.dialogPos));
  dialog.getElement().getStyle().setProperty("String_Node_Str","String_Node_Str" + (++GwtDialog.dialogPos));
}