Program: 48490
Project: 48490
Buggy source:
public void init(final NodeEngine nodeEngine,Properties properties){
  long mergeFirstRunDelay=node.getGroupProperties().MERGE_FIRST_RUN_DELAY_SECONDS.getLong() * 1000;
  mergeFirstRunDelay=mergeFirstRunDelay <= 0 ? 100 : mergeFirstRunDelay;
  ExecutionService executionService=nodeEngine.getExecutionService();
  final String executor="String_Node_Str";
  executionService.register(executor,8,100000);
  long mergeNextRunDelay=node.getGroupProperties().MERGE_NEXT_RUN_DELAY_SECONDS.getLong() * 1000;
  mergeNextRunDelay=mergeNextRunDelay <= 0 ? 100 : mergeNextRunDelay;
  executionService.scheduleWithFixedDelay(executor,new SplitBrainHandler(node),mergeFirstRunDelay,mergeNextRunDelay,TimeUnit.MILLISECONDS);
  long heartbeatInterval=node.groupProperties.HEARTBEAT_INTERVAL_SECONDS.getInteger();
  heartbeatInterval=heartbeatInterval <= 0 ? 1 : heartbeatInterval;
  executionService.scheduleWithFixedDelay(executor,new Runnable(){
    public void run(){
      heartBeater();
    }
  }
,heartbeatInterval,heartbeatInterval,TimeUnit.SECONDS);
  long masterConfirmationInterval=node.groupProperties.MASTER_CONFIRMATION_INTERVAL_SECONDS.getInteger();
  masterConfirmationInterval=masterConfirmationInterval <= 0 ? 1 : masterConfirmationInterval;
  executionService.scheduleWithFixedDelay(executor,new Runnable(){
    public void run(){
      sendMasterConfirmation();
    }
  }
,masterConfirmationInterval,masterConfirmationInterval,TimeUnit.SECONDS);
  long memberListPublishInterval=node.groupProperties.MEMBER_LIST_PUBLISH_INTERVAL_SECONDS.getInteger();
  memberListPublishInterval=memberListPublishInterval <= 0 ? 1 : memberListPublishInterval;
  executionService.scheduleWithFixedDelay(executor,new Runnable(){
    public void run(){
      sendMemberListToOthers();
    }
  }
,memberListPublishInterval,memberListPublishInterval,TimeUnit.SECONDS);
}

Fixed version (ground truth):
public void init(final NodeEngine nodeEngine,Properties properties){
  long mergeFirstRunDelay=node.getGroupProperties().MERGE_FIRST_RUN_DELAY_SECONDS.getLong() * 1000;
  mergeFirstRunDelay=mergeFirstRunDelay <= 0 ? 100 : mergeFirstRunDelay;
  ExecutionService executionService=nodeEngine.getExecutionService();
  String executorName="String_Node_Str";
  executionService.register(executorName,8,100000);
  long mergeNextRunDelay=node.getGroupProperties().MERGE_NEXT_RUN_DELAY_SECONDS.getLong() * 1000;
  mergeNextRunDelay=mergeNextRunDelay <= 0 ? 100 : mergeNextRunDelay;
  executionService.scheduleWithFixedDelay(executorName,new SplitBrainHandler(node),mergeFirstRunDelay,mergeNextRunDelay,TimeUnit.MILLISECONDS);
  long heartbeatInterval=node.groupProperties.HEARTBEAT_INTERVAL_SECONDS.getInteger();
  heartbeatInterval=heartbeatInterval <= 0 ? 1 : heartbeatInterval;
  executionService.scheduleWithFixedDelay(executorName,new Runnable(){
    public void run(){
      heartBeater();
    }
  }
,heartbeatInterval,heartbeatInterval,TimeUnit.SECONDS);
  long masterConfirmationInterval=node.groupProperties.MASTER_CONFIRMATION_INTERVAL_SECONDS.getInteger();
  masterConfirmationInterval=masterConfirmationInterval <= 0 ? 1 : masterConfirmationInterval;
  executionService.scheduleWithFixedDelay(executorName,new Runnable(){
    public void run(){
      sendMasterConfirmation();
    }
  }
,masterConfirmationInterval,masterConfirmationInterval,TimeUnit.SECONDS);
  long memberListPublishInterval=node.groupProperties.MEMBER_LIST_PUBLISH_INTERVAL_SECONDS.getInteger();
  memberListPublishInterval=memberListPublishInterval <= 0 ? 1 : memberListPublishInterval;
  executionService.scheduleWithFixedDelay(executorName,new Runnable(){
    public void run(){
      sendMemberListToOthers();
    }
  }
,memberListPublishInterval,memberListPublishInterval,TimeUnit.SECONDS);
}