Program: 173799
Project: 173799
Buggy source:
public void initTurn(int actorIndex){
  int i, j;
  dummyButton.setSelected(true);
  if ((j=this.actorIndex) >= 0) {
    upperPlayerCaption[j].setHighlight(false);
    lowerPlayerCaption[j].setHighlight(false);
    for (i=0; i < nc; i++) {
      setPlayerCertButton(i,j,false);
    }
  }
 else   if (j == -1 && compCanHoldOwnShares) {
    treasurySharesCaption.setHighlight(false);
  }
  for (i=0; i < nc; i++) {
    setIPOCertButton(i,false);
    setPoolCertButton(i,false);
    if (compCanHoldOwnShares)     setTreasuryCertButton(i,false);
  }
  this.actorIndex=actorIndex;
  if ((j=this.actorIndex) >= -1) {
    if (j >= 0) {
      upperPlayerCaption[j].setHighlight(true);
      lowerPlayerCaption[j].setHighlight(true);
    }
 else     if (j == -1 && treasurySharesCaption != null) {
      treasurySharesCaption.setHighlight(true);
    }
    PublicCertificateI cert;
    Portfolio holder;
    int index;
    List<BuyCertificate> buyableCerts=possibleActions.getType(BuyCertificate.class);
    if (buyableCerts != null) {
      for (      BuyCertificate bCert : buyableCerts) {
        cert=bCert.getCertificate();
        index=cert.getCompany().getPublicNumber();
        holder=bCert.getFromPortfolio();
        if (holder == ipo) {
          setIPOCertButton(index,true,bCert);
        }
 else         if (holder == pool) {
          setPoolCertButton(index,true,bCert);
        }
 else         if (compCanHoldOwnShares) {
          setTreasuryCertButton(index,true,bCert);
        }
      }
    }
    PublicCompanyI company;
    List<SellShares> sellableShares=possibleActions.getType(SellShares.class);
    if (sellableShares != null) {
      for (      SellShares share : sellableShares) {
        company=share.getCompany();
        index=company.getPublicNumber();
        if (j >= 0) {
          setPlayerCertButton(index,j,true,share);
        }
 else         if (j == -1) {
          setTreasuryCertButton(index,true,share);
        }
      }
    }
    initGameSpecificActions();
    List<NullAction> nullActions=possibleActions.getType(NullAction.class);
    if (nullActions != null) {
      for (      NullAction na : nullActions) {
        (parent).setPassButton(na);
      }
    }
  }
  repaint();
}

Fixed version (ground truth):
public void initTurn(int actorIndex){
  int i, j;
  dummyButton.setSelected(true);
  if ((j=this.actorIndex) >= 0) {
    upperPlayerCaption[j].setHighlight(false);
    lowerPlayerCaption[j].setHighlight(false);
    for (i=0; i < nc; i++) {
      setPlayerCertButton(i,j,false);
    }
  }
 else   if (j == -1 && compCanHoldOwnShares) {
    treasurySharesCaption.setHighlight(false);
  }
  for (i=0; i < nc; i++) {
    setIPOCertButton(i,false);
    setPoolCertButton(i,false);
    setPlayerCertButton(i,actorIndex,false);
    if (compCanHoldOwnShares)     setTreasuryCertButton(i,false);
  }
  this.actorIndex=actorIndex;
  if ((j=this.actorIndex) >= -1) {
    if (j >= 0) {
      upperPlayerCaption[j].setHighlight(true);
      lowerPlayerCaption[j].setHighlight(true);
    }
 else     if (j == -1 && treasurySharesCaption != null) {
      treasurySharesCaption.setHighlight(true);
    }
    PublicCertificateI cert;
    Portfolio holder;
    int index;
    List<BuyCertificate> buyableCerts=possibleActions.getType(BuyCertificate.class);
    if (buyableCerts != null) {
      for (      BuyCertificate bCert : buyableCerts) {
        cert=bCert.getCertificate();
        index=cert.getCompany().getPublicNumber();
        holder=bCert.getFromPortfolio();
        if (holder == ipo) {
          setIPOCertButton(index,true,bCert);
        }
 else         if (holder == pool) {
          setPoolCertButton(index,true,bCert);
        }
 else         if (compCanHoldOwnShares) {
          setTreasuryCertButton(index,true,bCert);
        }
      }
    }
    PublicCompanyI company;
    List<SellShares> sellableShares=possibleActions.getType(SellShares.class);
    if (sellableShares != null) {
      for (      SellShares share : sellableShares) {
        company=share.getCompany();
        index=company.getPublicNumber();
        if (j >= 0) {
          setPlayerCertButton(index,j,true,share);
        }
 else         if (j == -1) {
          setTreasuryCertButton(index,true,share);
        }
      }
    }
    initGameSpecificActions();
    List<NullAction> nullActions=possibleActions.getType(NullAction.class);
    if (nullActions != null) {
      for (      NullAction na : nullActions) {
        (parent).setPassButton(na);
      }
    }
  }
  repaint();
}