Program: 18096
Project: 18096
Buggy source:
private ProcessDescriptor(Configuration config,int localId){
  this.localId=localId;
  this.config=config;
  this.numReplicas=config.getN();
  this.windowSize=config.getIntProperty(Config.WINDOW_SIZE,Config.DEFAULT_WINDOW_SIZE);
  this.batchingLevel=config.getIntProperty(Config.BATCH_SIZE,Config.DEFAULT_BATCH_SIZE);
  this.maxUdpPacketSize=config.getIntProperty(Config.MAX_UDP_PACKET_SIZE,Config.DEFAULT_MAX_UDP_PACKET_SIZE);
  this.busyThreshold=config.getIntProperty(Config.BUSY_THRESHOLD,Config.DEFAULT_BUSY_THRESHOLD);
  this.mayShareSnapshots=config.getBooleanProperty(Config.MAY_SHARE_SNAPSHOTS,Config.DEFAULT_MAY_SHARE_SNAPSHOTS);
  this.maxBatchDelay=config.getIntProperty(Config.MAX_BATCH_DELAY,Config.DEFAULT_MAX_BATCH_DELAY);
  this.clientIDGenerator=config.getProperty(Config.CLIENT_ID_GENERATOR,Config.DEFAULT_CLIENT_ID_GENERATOR);
  this.benchmarkRun=config.getBooleanProperty(Config.BENCHMARK_RUN,Config.DEFAULT_BENCHMARK_RUN);
  this.network=config.getProperty(Config.NETWORK,Config.DEFAULT_NETWORK);
  this.logPath=config.getProperty(Config.LOG_PATH,Config.DEFAULT_LOG_PATH);
  String defCrash=Config.DEFAULT_CRASH_MODEL.toString();
  String crash=config.getProperty(Config.CRASH_MODEL,defCrash);
  CrashModel crashModel;
  try {
    crashModel=Replica.CrashModel.valueOf(crash);
  }
 catch (  IllegalArgumentException e) {
    crashModel=Config.DEFAULT_CRASH_MODEL;
    logger.severe("String_Node_Str");
    logger.severe("String_Node_Str");
    logger.severe("String_Node_Str" + crash + "String_Node_Str");
    logger.severe("String_Node_Str" + crashModel);
    logger.severe("String_Node_Str");
    logger.severe("String_Node_Str");
  }
  this.crashModel=crashModel;
  this.firstSnapshotSizeEstimate=config.getIntProperty(Config.FIRST_SNAPSHOT_SIZE_ESTIMATE,Config.DEFAULT_FIRST_SNAPSHOT_SIZE_ESTIMATE);
  this.snapshotMinLogSize=config.getIntProperty(Config.SNAPSHOT_MIN_LOG_SIZE,Config.DEFAULT_SNAPSHOT_MIN_LOG_SIZE);
  this.snapshotAskRatio=config.getDoubleProperty(Config.SNAPSHOT_ASK_RATIO,Config.DEFAULT_SNAPSHOT_ASK_RATIO);
  this.snapshotForceRatio=config.getDoubleProperty(Config.SNAPSHOT_FORCE_RATIO,Config.DEFAULT_SNAPSHOT_FORCE_RATIO);
  this.minSnapshotSampling=config.getIntProperty(Config.MIN_SNAPSHOT_SAMPLING,Config.DEFAULT_MIN_SNAPSHOT_SAMPLING);
  this.retransmitTimeout=config.getLongProperty(Config.RETRANSMIT_TIMEOUT,Config.DEFAULT_RETRANSMIT_TIMEOUT);
  this.periodicCatchupTimeout=config.getLongProperty(Config.PERIODIC_CATCHUP_TIMEOUT,Config.DEFAULT_PERIODIC_CATCHUP_TIMEOUT);
  this.tcpReconnectTimeout=config.getLongProperty(Config.TCP_RECONNECT_TIMEOUT,Config.DEFAULT_TCP_RECONNECT_TIMEOUT);
  logger.config("String_Node_Str" + Config.WINDOW_SIZE + "String_Node_Str"+ windowSize+ "String_Node_Str"+ Config.BATCH_SIZE+ "String_Node_Str"+ batchingLevel+ "String_Node_Str"+ Config.MAX_BATCH_DELAY+ "String_Node_Str"+ maxBatchDelay+ "String_Node_Str"+ Config.MAX_UDP_PACKET_SIZE+ "String_Node_Str"+ maxUdpPacketSize+ "String_Node_Str"+ Config.NETWORK+ "String_Node_Str"+ network+ "String_Node_Str"+ Config.BUSY_THRESHOLD+ "String_Node_Str"+ busyThreshold+ "String_Node_Str"+ Config.MAY_SHARE_SNAPSHOTS+ "String_Node_Str"+ mayShareSnapshots+ "String_Node_Str"+ Config.BENCHMARK_RUN+ "String_Node_Str"+ benchmarkRun+ "String_Node_Str"+ Config.CLIENT_ID_GENERATOR+ "String_Node_Str"+ clientIDGenerator);
  logger.config("String_Node_Str" + crashModel + "String_Node_Str"+ logPath);
  logger.config(Config.FIRST_SNAPSHOT_SIZE_ESTIMATE + "String_Node_Str" + firstSnapshotSizeEstimate+ "String_Node_Str"+ Config.SNAPSHOT_MIN_LOG_SIZE+ "String_Node_Str"+ snapshotMinLogSize+ "String_Node_Str"+ Config.SNAPSHOT_ASK_RATIO+ "String_Node_Str"+ snapshotAskRatio+ "String_Node_Str"+ Config.SNAPSHOT_FORCE_RATIO+ "String_Node_Str"+ snapshotForceRatio+ "String_Node_Str"+ Config.MIN_SNAPSHOT_SAMPLING+ "String_Node_Str"+ minSnapshotSampling);
  logger.config(Config.RETRANSMIT_TIMEOUT + "String_Node_Str" + retransmitTimeout+ "String_Node_Str"+ Config.PERIODIC_CATCHUP_TIMEOUT+ "String_Node_Str"+ periodicCatchupTimeout+ "String_Node_Str"+ Config.TCP_RECONNECT_TIMEOUT+ "String_Node_Str"+ tcpReconnectTimeout);
}

Fixed version (ground truth):
private ProcessDescriptor(Configuration config,int localId){
  this.localId=localId;
  this.config=config;
  this.numReplicas=config.getN();
  this.windowSize=config.getIntProperty(Config.WINDOW_SIZE,Config.DEFAULT_WINDOW_SIZE);
  this.batchingLevel=config.getIntProperty(Config.BATCH_SIZE,Config.DEFAULT_BATCH_SIZE);
  this.maxUdpPacketSize=config.getIntProperty(Config.MAX_UDP_PACKET_SIZE,Config.DEFAULT_MAX_UDP_PACKET_SIZE);
  this.busyThreshold=config.getIntProperty(Config.BUSY_THRESHOLD,Config.DEFAULT_BUSY_THRESHOLD);
  this.mayShareSnapshots=config.getBooleanProperty(Config.MAY_SHARE_SNAPSHOTS,Config.DEFAULT_MAY_SHARE_SNAPSHOTS);
  this.maxBatchDelay=config.getIntProperty(Config.MAX_BATCH_DELAY,Config.DEFAULT_MAX_BATCH_DELAY);
  this.clientIDGenerator=config.getProperty(Config.CLIENT_ID_GENERATOR,Config.DEFAULT_CLIENT_ID_GENERATOR);
  this.benchmarkRun=config.getBooleanProperty(Config.BENCHMARK_RUN,Config.DEFAULT_BENCHMARK_RUN);
  this.network=config.getProperty(Config.NETWORK,Config.DEFAULT_NETWORK);
  this.logPath=config.getProperty(Config.LOG_PATH,Config.DEFAULT_LOG_PATH);
  String defCrash=Config.DEFAULT_CRASH_MODEL.toString();
  String crash=config.getProperty(Config.CRASH_MODEL,defCrash);
  CrashModel crashModel;
  try {
    crashModel=Replica.CrashModel.valueOf(crash);
  }
 catch (  IllegalArgumentException e) {
    crashModel=Config.DEFAULT_CRASH_MODEL;
    logger.severe("String_Node_Str");
    logger.severe("String_Node_Str");
    logger.severe("String_Node_Str" + crash + "String_Node_Str");
    logger.severe("String_Node_Str" + crashModel);
    logger.severe("String_Node_Str");
    logger.severe("String_Node_Str");
  }
  this.crashModel=crashModel;
  this.firstSnapshotSizeEstimate=config.getIntProperty(Config.FIRST_SNAPSHOT_SIZE_ESTIMATE,Config.DEFAULT_FIRST_SNAPSHOT_SIZE_ESTIMATE);
  this.snapshotMinLogSize=Math.max(1,config.getIntProperty(Config.SNAPSHOT_MIN_LOG_SIZE,Config.DEFAULT_SNAPSHOT_MIN_LOG_SIZE));
  this.snapshotAskRatio=config.getDoubleProperty(Config.SNAPSHOT_ASK_RATIO,Config.DEFAULT_SNAPSHOT_ASK_RATIO);
  this.snapshotForceRatio=config.getDoubleProperty(Config.SNAPSHOT_FORCE_RATIO,Config.DEFAULT_SNAPSHOT_FORCE_RATIO);
  this.minSnapshotSampling=config.getIntProperty(Config.MIN_SNAPSHOT_SAMPLING,Config.DEFAULT_MIN_SNAPSHOT_SAMPLING);
  this.retransmitTimeout=config.getLongProperty(Config.RETRANSMIT_TIMEOUT,Config.DEFAULT_RETRANSMIT_TIMEOUT);
  this.periodicCatchupTimeout=config.getLongProperty(Config.PERIODIC_CATCHUP_TIMEOUT,Config.DEFAULT_PERIODIC_CATCHUP_TIMEOUT);
  this.tcpReconnectTimeout=config.getLongProperty(Config.TCP_RECONNECT_TIMEOUT,Config.DEFAULT_TCP_RECONNECT_TIMEOUT);
  logger.config("String_Node_Str" + Config.WINDOW_SIZE + "String_Node_Str"+ windowSize+ "String_Node_Str"+ Config.BATCH_SIZE+ "String_Node_Str"+ batchingLevel+ "String_Node_Str"+ Config.MAX_BATCH_DELAY+ "String_Node_Str"+ maxBatchDelay+ "String_Node_Str"+ Config.MAX_UDP_PACKET_SIZE+ "String_Node_Str"+ maxUdpPacketSize+ "String_Node_Str"+ Config.NETWORK+ "String_Node_Str"+ network+ "String_Node_Str"+ Config.BUSY_THRESHOLD+ "String_Node_Str"+ busyThreshold+ "String_Node_Str"+ Config.MAY_SHARE_SNAPSHOTS+ "String_Node_Str"+ mayShareSnapshots+ "String_Node_Str"+ Config.BENCHMARK_RUN+ "String_Node_Str"+ benchmarkRun+ "String_Node_Str"+ Config.CLIENT_ID_GENERATOR+ "String_Node_Str"+ clientIDGenerator);
  logger.config("String_Node_Str" + crashModel + "String_Node_Str"+ logPath);
  logger.config(Config.FIRST_SNAPSHOT_SIZE_ESTIMATE + "String_Node_Str" + firstSnapshotSizeEstimate+ "String_Node_Str"+ Config.SNAPSHOT_MIN_LOG_SIZE+ "String_Node_Str"+ snapshotMinLogSize+ "String_Node_Str"+ Config.SNAPSHOT_ASK_RATIO+ "String_Node_Str"+ snapshotAskRatio+ "String_Node_Str"+ Config.SNAPSHOT_FORCE_RATIO+ "String_Node_Str"+ snapshotForceRatio+ "String_Node_Str"+ Config.MIN_SNAPSHOT_SAMPLING+ "String_Node_Str"+ minSnapshotSampling);
  logger.config(Config.RETRANSMIT_TIMEOUT + "String_Node_Str" + retransmitTimeout+ "String_Node_Str"+ Config.PERIODIC_CATCHUP_TIMEOUT+ "String_Node_Str"+ periodicCatchupTimeout+ "String_Node_Str"+ Config.TCP_RECONNECT_TIMEOUT+ "String_Node_Str"+ tcpReconnectTimeout);
}