Program: 83133
Project: 83133
Buggy source:
public Panels(Sink.Images images){
  HTML contents=new HTML("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str");
  ScrollPanel scroller=new ScrollPanel(contents);
  scroller.setStyleName("String_Node_Str");
  DockPanel dock=new DockPanel();
  dock.setHorizontalAlignment(DockPanel.ALIGN_CENTER);
  HTML north0=new HTML("String_Node_Str",true);
  HTML east=new HTML("String_Node_Str",true);
  HTML south=new HTML("String_Node_Str");
  HTML west=new HTML("String_Node_Str",true);
  HTML north1=new HTML("String_Node_Str",true);
  dock.add(north0,DockPanel.NORTH);
  dock.add(east,DockPanel.EAST);
  dock.add(south,DockPanel.SOUTH);
  dock.add(west,DockPanel.WEST);
  dock.add(north1,DockPanel.NORTH);
  dock.add(scroller,DockPanel.CENTER);
  DisclosurePanel disc=new DisclosurePanel("String_Node_Str");
  disc.setContent(new HTML("String_Node_Str" + "String_Node_Str"));
  FlowPanel flow=new FlowPanel();
  for (int i=0; i < 8; ++i) {
    flow.add(new CheckBox("String_Node_Str" + i));
  }
  HorizontalPanel horz=new HorizontalPanel();
  horz.setVerticalAlignment(VerticalPanel.ALIGN_MIDDLE);
  horz.add(new Button("String_Node_Str"));
  horz.add(new HTML("String_Node_Str",true));
  horz.add(new Button("String_Node_Str"));
  VerticalPanel vert=new VerticalPanel();
  vert.setHorizontalAlignment(VerticalPanel.ALIGN_CENTER);
  vert.add(new Button("String_Node_Str"));
  vert.add(new Button("String_Node_Str"));
  vert.add(new Button("String_Node_Str"));
  VerticalPanel vp=new VerticalPanel();
  vp.setHorizontalAlignment(VerticalPanel.ALIGN_CENTER);
  vp.setSpacing(8);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(disc);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(flow);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(horz);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(vert);
  Grid grid=new Grid(4,4);
  for (int r=0; r < 4; ++r) {
    for (int c=0; c < 4; ++c) {
      grid.setWidget(r,c,images.gwtLogo().createImage());
    }
  }
  TabPanel tabs=new TabPanel();
  tabs.add(vp,"String_Node_Str");
  tabs.add(dock,"String_Node_Str");
  tabs.add(grid,"String_Node_Str");
  tabs.setWidth("String_Node_Str");
  tabs.selectTab(0);
  HorizontalSplitPanel hSplit=new HorizontalSplitPanel();
  hSplit.setLeftWidget(tabs);
  hSplit.setRightWidget(new HTML("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"));
  initWidget(hSplit);
  hSplit.setWidth("String_Node_Str");
}

Fixed version (ground truth):
public Panels(Sink.Images images){
  HTML contents=new HTML("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str");
  ScrollPanel scroller=new ScrollPanel(contents);
  scroller.setStyleName("String_Node_Str");
  DockPanel dock=new DockPanel();
  dock.setHorizontalAlignment(DockPanel.ALIGN_CENTER);
  HTML north0=new HTML("String_Node_Str",true);
  HTML east=new HTML("String_Node_Str",true);
  HTML south=new HTML("String_Node_Str");
  HTML west=new HTML("String_Node_Str",true);
  HTML north1=new HTML("String_Node_Str",true);
  dock.add(north0,DockPanel.NORTH);
  dock.add(east,DockPanel.EAST);
  dock.add(south,DockPanel.SOUTH);
  dock.add(west,DockPanel.WEST);
  dock.add(north1,DockPanel.NORTH);
  dock.add(scroller,DockPanel.CENTER);
  DisclosurePanel disc=new DisclosurePanel("String_Node_Str");
  disc.setContent(new HTML("String_Node_Str" + "String_Node_Str"));
  FlowPanel flow=new FlowPanel();
  for (int i=0; i < 8; ++i) {
    flow.add(new CheckBox("String_Node_Str" + i));
  }
  HorizontalPanel horz=new HorizontalPanel();
  horz.setVerticalAlignment(VerticalPanel.ALIGN_MIDDLE);
  horz.add(new Button("String_Node_Str"));
  horz.add(new HTML("String_Node_Str",true));
  horz.add(new Button("String_Node_Str"));
  VerticalPanel vert=new VerticalPanel();
  vert.setHorizontalAlignment(VerticalPanel.ALIGN_CENTER);
  vert.add(new Button("String_Node_Str"));
  vert.add(new Button("String_Node_Str"));
  vert.add(new Button("String_Node_Str"));
  VerticalPanel vp=new VerticalPanel();
  vp.setHorizontalAlignment(VerticalPanel.ALIGN_CENTER);
  vp.setSpacing(8);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(disc);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(flow);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(horz);
  vp.add(makeLabel("String_Node_Str"));
  vp.add(vert);
  Grid grid=new Grid(4,4);
  for (int r=0; r < 4; ++r) {
    for (int c=0; c < 4; ++c) {
      grid.setWidget(r,c,images.gwtLogo().createImage());
    }
  }
  TabPanel tabs=new TabPanel();
  tabs.add(vp,"String_Node_Str");
  tabs.add(dock,"String_Node_Str");
  tabs.add(grid,"String_Node_Str");
  tabs.setWidth("String_Node_Str");
  tabs.selectTab(0);
  HorizontalSplitPanel hSplit=new HorizontalSplitPanel();
  hSplit.setLeftWidget(tabs);
  hSplit.setRightWidget(new HTML("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str"));
  initWidget(hSplit);
  hSplit.setSize("String_Node_Str","String_Node_Str");
}