Program: 35143
Project: 35143
Buggy source:
private void init(){
  register(new SystemProcessors.Exit());
  register(new SystemProcessors.Help());
  register(new SystemProcessors.Version());
  register(new BlockProcessors.GetBestBlockHeader());
  register(new BlockProcessors.GetBlock());
  register(new BlockProcessors.GetBlockHeader());
  register(new BlockProcessors.ListBlockHeader());
  register(new AccountProcessors.AliasAccount());
  register(new AccountProcessors.CreateAccount());
  register(new AccountProcessors.GetAccount());
  register(new AccountProcessors.GetAsset());
  register(new AccountProcessors.GetBalance());
  register(new AccountProcessors.GetPrivateKey());
  register(new AccountProcessors.GetUnspentUTXO());
  register(new AccountProcessors.GetWalletBalance());
  register(new AccountProcessors.ListAccount());
  register(new WalletProcessors.BackupWallet());
  register(new WalletProcessors.ImportAccount());
  register(new WalletProcessors.RemoveAccount());
  register(new WalletProcessors.ResetPassword());
  register(new WalletProcessors.Transfer());
  register(new ConsensusProcessors.GetConsensus());
  register(new ConsensusProcessors.GetConsensusAddress());
  register(new ConsensusProcessors.Agent());
  register(new ConsensusProcessors.Deposit());
  register(new ConsensusProcessors.GetAgentStatus());
  register(new ConsensusProcessors.StopAgent());
  register(new ConsensusProcessors.Withdraw());
  register(new TransactionProcessors.GetTx());
  register(new TransactionProcessors.GetTxList());
  register(new NetwrokProcessor.GetNetworkInfo());
  register(new NetwrokProcessor.getnetworknodes());
  SdkManager.init("String_Node_Str");
}

Fixed version (ground truth):
private void init(){
  register(new SystemProcessors.Exit());
  register(new SystemProcessors.Help());
  register(new SystemProcessors.Version());
  register(new BlockProcessors.GetBestBlockHeader());
  register(new BlockProcessors.GetBlock());
  register(new BlockProcessors.GetBlockHeader());
  register(new BlockProcessors.ListBlockHeader());
  register(new AccountProcessors.AliasAccount());
  register(new AccountProcessors.CreateAccount());
  register(new AccountProcessors.GetAccount());
  register(new AccountProcessors.GetAsset());
  register(new AccountProcessors.GetBalance());
  register(new AccountProcessors.GetPrivateKey());
  register(new AccountProcessors.GetUTXO());
  register(new AccountProcessors.GetWalletBalance());
  register(new AccountProcessors.ListAccount());
  register(new WalletProcessors.BackupWallet());
  register(new WalletProcessors.ImportAccount());
  register(new WalletProcessors.RemoveAccount());
  register(new WalletProcessors.ResetPassword());
  register(new WalletProcessors.Transfer());
  register(new ConsensusProcessors.GetConsensus());
  register(new ConsensusProcessors.GetConsensusAddress());
  register(new ConsensusProcessors.Agent());
  register(new ConsensusProcessors.Deposit());
  register(new ConsensusProcessors.GetAgentStatus());
  register(new ConsensusProcessors.StopAgent());
  register(new ConsensusProcessors.Withdraw());
  register(new TransactionProcessors.GetTx());
  register(new TransactionProcessors.GetTxList());
  register(new NetwrokProcessor.GetNetworkInfo());
  register(new NetwrokProcessor.getnetworknodes());
  SdkManager.init("String_Node_Str");
}