Program: 35588
Project: 35588
Buggy source:
/** 
 * Builds the all window.
 * @param info info.
 */
private static void build(){
  final Widget versionPanel=getVersionPanel();
  final Widget rolesPanel=getManagersPartnersPanel();
  final Widget devConPanel=getDevelopersContributorsPanel();
  final VerticalPanel vPanel=new VerticalPanel();
  vPanel.setSpacing(0);
  vPanel.add(rolesPanel);
  vPanel.setCellVerticalAlignment(rolesPanel,HasVerticalAlignment.ALIGN_TOP);
  vPanel.add(devConPanel);
  vPanel.setCellVerticalAlignment(devConPanel,HasVerticalAlignment.ALIGN_TOP);
  final HorizontalPanel hPanel=new HorizontalPanel();
  hPanel.setSpacing(0);
  hPanel.add(versionPanel);
  hPanel.setCellVerticalAlignment(versionPanel,HasVerticalAlignment.ALIGN_MIDDLE);
  hPanel.setCellHorizontalAlignment(versionPanel,HasHorizontalAlignment.ALIGN_CENTER);
  hPanel.setCellWidth(versionPanel,"String_Node_Str");
  versionPanel.getElement().getStyle().setMarginRight(45,Unit.PX);
  hPanel.add(vPanel);
  hPanel.setCellVerticalAlignment(vPanel,HasVerticalAlignment.ALIGN_TOP);
  final VerticalPanel mainPanel=new VerticalPanel();
  mainPanel.setSpacing(10);
  mainPanel.add(hPanel);
  mainPanel.add(getCreditsPanel());
  window=new Window();
  window.setWidth(735);
  window.setHeight(570);
  window.setHeading(I18N.CONSTANTS.credits());
  window.setPlain(true);
  window.setModal(true);
  window.setBlinkModal(true);
  window.setLayout(new FitLayout());
  final ContentPanel p=new ContentPanel();
  p.setLayout(new FitLayout());
  p.setHeaderVisible(false);
  p.add(mainPanel);
  window.add(p);
}

Fixed version (ground truth):
/** 
 * Builds the all window.
 * @param info info.
 */
private static void build(){
  final Widget versionPanel=getVersionPanel();
  final Widget rolesPanel=getManagersPartnersPanel();
  final Widget devConPanel=getDevelopersContributorsPanel();
  final VerticalPanel vPanel=new VerticalPanel();
  vPanel.setSpacing(0);
  vPanel.add(rolesPanel);
  vPanel.setCellVerticalAlignment(rolesPanel,HasVerticalAlignment.ALIGN_TOP);
  vPanel.add(devConPanel);
  vPanel.setCellVerticalAlignment(devConPanel,HasVerticalAlignment.ALIGN_TOP);
  vPanel.setWidth("String_Node_Str");
  final HorizontalPanel hPanel=new HorizontalPanel();
  hPanel.setSpacing(0);
  hPanel.add(versionPanel);
  hPanel.setCellVerticalAlignment(versionPanel,HasVerticalAlignment.ALIGN_MIDDLE);
  hPanel.setCellHorizontalAlignment(versionPanel,HasHorizontalAlignment.ALIGN_CENTER);
  hPanel.setCellWidth(versionPanel,"String_Node_Str");
  versionPanel.getElement().getStyle().setMarginRight(45,Unit.PX);
  hPanel.add(vPanel);
  hPanel.setCellVerticalAlignment(vPanel,HasVerticalAlignment.ALIGN_TOP);
  hPanel.setWidth("String_Node_Str");
  final VerticalPanel mainPanel=new VerticalPanel();
  mainPanel.setSpacing(10);
  mainPanel.add(hPanel);
  mainPanel.add(getCreditsPanel());
  window=new Window();
  window.setWidth(735);
  window.setHeight(570);
  window.setHeading(I18N.CONSTANTS.credits());
  window.setPlain(true);
  window.setModal(true);
  window.setBlinkModal(true);
  window.setLayout(new FitLayout());
  final ContentPanel p=new ContentPanel();
  p.setLayout(new FitLayout());
  p.setHeaderVisible(false);
  p.add(mainPanel);
  window.add(p);
}