Program: 56457
Project: 56457
Buggy source:
public void copyFrom(PrintSetupImpl src){
  this._printGridlines=src._printGridlines;
  this._headerMargin=src._headerMargin;
  this._footerMargin=src._footerMargin;
  this._leftMargin=src._leftMargin;
  this._rightMargin=src._rightMargin;
  this._topMargin=src._topMargin;
  this._bottomMargin=src._bottomMargin;
  this._landscape=src._landscape;
  this._scale=src._scale;
  this._paperSize=src._paperSize;
  this._header=((HeaderFooterImpl)src._header).cloneHeaderFooterImpl();
  this._evenHeader=((HeaderFooterImpl)src._evenHeader).cloneHeaderFooterImpl();
  this._firstHeader=((HeaderFooterImpl)src._firstHeader).cloneHeaderFooterImpl();
  this._footer=((HeaderFooterImpl)src._footer).cloneHeaderFooterImpl();
  this._evenFooter=((HeaderFooterImpl)src._evenFooter).cloneHeaderFooterImpl();
  ;
  this._firstFooter=((HeaderFooterImpl)src._firstFooter).cloneHeaderFooterImpl();
  ;
  this._diffOddEven=src._diffOddEven;
  this._diffFirst=src._diffFirst;
  this._scaleWithDoc=src._scaleWithDoc;
  this._alignWithMargins=src._alignWithMargins;
  this._hCenter=src._hCenter;
  this._vCenter=src._vCenter;
  this._pageStart=src._pageStart;
  this._fitWidth=src._fitWidth;
  this._fitHeight=src._fitHeight;
  this._printArea=src._printArea;
  this._rowsTitle1=src._rowsTitle1;
  this._rowsTitle2=src._rowsTitle2;
  this._columnsTitle1=src._columnsTitle1;
  this._columnsTitle2=src._columnsTitle2;
  this._printHeadings=src._printHeadings;
  this._errorMode=src._errorMode;
  this._commentMode=src._commentMode;
  this._leftToRight=src._leftToRight;
}

Fixed version (ground truth):
public void copyFrom(PrintSetupImpl src){
  this._printGridlines=src._printGridlines;
  this._headerMargin=src._headerMargin;
  this._footerMargin=src._footerMargin;
  this._leftMargin=src._leftMargin;
  this._rightMargin=src._rightMargin;
  this._topMargin=src._topMargin;
  this._bottomMargin=src._bottomMargin;
  this._landscape=src._landscape;
  this._scale=src._scale;
  this._paperSize=src._paperSize;
  HeaderFooterImpl srcHF=(HeaderFooterImpl)src._header;
  if (srcHF != null) {
    this._header=srcHF.cloneHeaderFooterImpl();
  }
  srcHF=(HeaderFooterImpl)src._evenHeader;
  if (srcHF != null) {
    this._evenHeader=srcHF.cloneHeaderFooterImpl();
  }
  srcHF=(HeaderFooterImpl)src._firstHeader;
  if (srcHF != null) {
    this._firstHeader=srcHF.cloneHeaderFooterImpl();
  }
  srcHF=(HeaderFooterImpl)src._footer;
  if (srcHF != null) {
    this._footer=srcHF.cloneHeaderFooterImpl();
  }
  srcHF=(HeaderFooterImpl)src._evenFooter;
  if (srcHF != null) {
    this._evenFooter=((HeaderFooterImpl)src._evenFooter).cloneHeaderFooterImpl();
    ;
  }
  srcHF=(HeaderFooterImpl)src._firstFooter;
  if (srcHF != null) {
    this._firstFooter=((HeaderFooterImpl)src._firstFooter).cloneHeaderFooterImpl();
    ;
  }
  this._diffOddEven=src._diffOddEven;
  this._diffFirst=src._diffFirst;
  this._scaleWithDoc=src._scaleWithDoc;
  this._alignWithMargins=src._alignWithMargins;
  this._hCenter=src._hCenter;
  this._vCenter=src._vCenter;
  this._pageStart=src._pageStart;
  this._fitWidth=src._fitWidth;
  this._fitHeight=src._fitHeight;
  this._printArea=src._printArea;
  this._rowsTitle1=src._rowsTitle1;
  this._rowsTitle2=src._rowsTitle2;
  this._columnsTitle1=src._columnsTitle1;
  this._columnsTitle2=src._columnsTitle2;
  this._printHeadings=src._printHeadings;
  this._errorMode=src._errorMode;
  this._commentMode=src._commentMode;
  this._leftToRight=src._leftToRight;
}