Program: 113432
Project: 113432
Buggy source:
@Override public void run(){
  if (COLLECT_STATISTICS)   statThr.start();
  Logging.logMessage(Logging.LEVEL_INFO,Category.replication,this,"String_Node_Str",FLEASE_VERSION);
  notifyStarted();
  long nextTimerRunInMS=TIMER_INTERVAL_IN_MS;
  lastTimerRun=0;
  List<Object> rqList=new ArrayList(1000);
  while (!quit) {
    try {
      final Object tmp=messages.poll(nextTimerRunInMS,TimeUnit.MILLISECONDS);
      if (quit) {
        break;
      }
      if ((tmp == null) || (TimeSync.getLocalSystemTime() >= lastTimerRun + nextTimerRunInMS)) {
        if (ENABLE_TIMEOUT_EVENTS) {
          checkTimers();
          checkLeaseTimeouts();
        }
 else {
          nextTimerRunInMS=checkTimers();
        }
        lastTimerRun=TimeSync.getLocalSystemTime();
      }
      if (tmp == null) {
        continue;
      }
      rqList.add(tmp);
      messages.drainTo(rqList,25);
      while (!rqList.isEmpty()) {
        final Object request=rqList.remove(rqList.size() - 1);
        long rqStart;
        if (COLLECT_STATISTICS) {
          rqStart=System.nanoTime();
        }
        if (request instanceof FleaseMessage) {
          final FleaseMessage msg=(FleaseMessage)request;
          if (msg.isInternalEvent()) {
            Logging.logMessage(Logging.LEVEL_ERROR,Category.replication,this,"String_Node_Str",msg);
          }
 else           if (msg.isAcceptorMessage()) {
            final FleaseMessage response=acceptor.processMessage(msg);
            if (response != null) {
              if (msg.getMasterEpochNumber() == FleaseMessage.REQUEST_MASTER_EPOCH) {
                if (meHandler != null) {
                  MasterEpochHandlerInterface.Continuation cont=new MasterEpochHandlerInterface.Continuation(){
                    @Override public void processingFinished(){
                      sender.sendMessage(response,msg.getSender());
                    }
                  }
;
                  if (response.getMsgType() == FleaseMessage.MsgType.MSG_PREPARE_ACK) {
                    meHandler.sendMasterEpoch(response,cont);
                  }
 else                   if (response.getMsgType() == FleaseMessage.MsgType.MSG_ACCEPT_ACK) {
                    meHandler.storeMasterEpoch(response,cont);
                  }
                }
 else {
                  Logging.logMessage(Logging.LEVEL_ERROR,this,"String_Node_Str");
                  sender.sendMessage(response,msg.getSender());
                }
              }
 else {
                sender.sendMessage(response,msg.getSender());
              }
            }
          }
 else {
            proposer.processMessage(msg);
          }
          if (COLLECT_STATISTICS) {
            long rqEnd=System.nanoTime();
            durMsgs.get().add(Integer.valueOf((int)(rqEnd - rqStart)));
            outMsgs.incrementAndGet();
          }
        }
 else {
          Request rq=(Request)request;
switch (rq.type) {
case OPEN_CELL_REQUEST:
{
              assert(rq.acceptors != null);
              try {
                proposer.openCell(rq.cellId,rq.acceptors,rq.requestME);
                if (rq.listener != null)                 rq.listener.proposalResult(rq.cellId,null,0,FleaseMessage.IGNORE_MASTER_EPOCH);
              }
 catch (              FleaseException ex) {
                Logging.logError(Logging.LEVEL_DEBUG,this,ex);
                leaseListener.leaseFailed(rq.cellId,ex);
              }
              break;
            }
case CLOSE_CELL_REQUEST:
{
            proposer.closeCell(rq.cellId);
            rq.listener.proposalResult(rq.cellId,null,0,FleaseMessage.IGNORE_MASTER_EPOCH);
            break;
          }
case HANDOVER_LEASE:
{
          try {
            Flease prevLease=proposer.updatePrevLeaseForCell(rq.cellId,Flease.EMPTY_LEASE);
            if (prevLease != null) {
              leaseTimeouts.remove(prevLease);
            }
            proposer.handoverLease(rq.cellId,rq.newLeaseOwner);
          }
 catch (          FleaseException ex) {
            rq.listener.proposalFailed(rq.cellId,ex);
          }
          break;
        }
case SET_VIEW:
{
        try {
          proposer.setViewId(rq.cellId,rq.viewId);
          acceptor.setViewId(rq.cellId,rq.viewId);
        }
 catch (        FleaseException ex) {
          rq.listener.proposalFailed(rq.cellId,ex);
        }
        rq.listener.proposalResult(rq.cellId,null,0,FleaseMessage.IGNORE_MASTER_EPOCH);
        break;
      }
case GET_STATE:
{
      try {
        rq.cback.localStateResult(acceptor.localState());
      }
 catch (      Exception ex) {
        ex.printStackTrace();
      }
    }
}
if (COLLECT_STATISTICS) {
  long rqEnd=System.nanoTime();
  durRequests.get().add(Integer.valueOf((int)(rqEnd - rqStart)));
}
}
}
if (DISABLE_RENEW_FOR_TESTING) {
Thread.sleep(0,2);
}
}
 catch (InterruptedException ex) {
if (quit) {
break;
}
}
catch (Throwable ex) {
notifyCrashed(ex);
break;
}
}
acceptor.shutdown();
notifyStopped();
Logging.logMessage(Logging.LEVEL_INFO,Category.replication,this,"String_Node_Str",FLEASE_VERSION);
}

Fixed version (ground truth):
@Override public void run(){
}