Program: 55830
Project: 55830
Buggy source:
/** 
 * Checks and updates the current execution status of the job which is represented by this execution graph.
 * @param latestStateChange the latest execution state change which occurred
 */
public synchronized void checkAndUpdateJobStatus(final ExecutionState latestStateChange){
switch (this.jobStatus) {
case CREATED:
    if (jobHasScheduledStatus()) {
      this.jobStatus=InternalJobStatus.SCHEDULED;
    }
 else     if (latestStateChange == ExecutionState.CANCELED) {
      if (jobHasFailedOrCanceledStatus()) {
        this.jobStatus=InternalJobStatus.CANCELED;
      }
    }
  break;
case SCHEDULED:
if (latestStateChange == ExecutionState.RUNNING) {
  this.jobStatus=InternalJobStatus.RUNNING;
  return;
}
 else if (latestStateChange == ExecutionState.CANCELED) {
  if (jobHasFailedOrCanceledStatus()) {
    this.jobStatus=InternalJobStatus.CANCELED;
  }
}
break;
case RUNNING:
if (latestStateChange == ExecutionState.CANCELING || latestStateChange == ExecutionState.CANCELED) {
this.jobStatus=InternalJobStatus.CANCELING;
return;
}
if (latestStateChange == ExecutionState.FAILED) {
final Iterator<ExecutionVertex> it=new ExecutionGraphIterator(this,true);
while (it.hasNext()) {
final ExecutionVertex vertex=it.next();
if (vertex.getExecutionState() == ExecutionState.FAILED && !vertex.hasRetriesLeft()) {
this.jobStatus=InternalJobStatus.FAILING;
return;
}
}
}
if (jobHasFinishedStatus()) {
this.jobStatus=InternalJobStatus.FINISHED;
}
break;
case FAILING:
if (jobHasFailedOrCanceledStatus()) {
this.jobStatus=InternalJobStatus.FAILED;
}
break;
case FAILED:
LOG.error("String_Node_Str");
break;
case CANCELING:
if (jobHasFailedOrCanceledStatus()) {
this.jobStatus=InternalJobStatus.CANCELED;
}
break;
case CANCELED:
LOG.error("String_Node_Str");
break;
case FINISHED:
LOG.error("String_Node_Str");
break;
}
}

Fixed version (ground truth):
/** 
 * Checks and updates the current execution status of the job which is represented by this execution graph.
 * @param latestStateChange the latest execution state change which occurred
 */
public synchronized void checkAndUpdateJobStatus(final ExecutionState latestStateChange){
switch (this.jobStatus) {
case CREATED:
    if (jobHasScheduledStatus()) {
      this.jobStatus=InternalJobStatus.SCHEDULED;
    }
 else     if (latestStateChange == ExecutionState.CANCELED) {
      if (jobHasFailedOrCanceledStatus()) {
        this.jobStatus=InternalJobStatus.CANCELED;
      }
    }
  break;
case SCHEDULED:
if (latestStateChange == ExecutionState.RUNNING) {
  this.jobStatus=InternalJobStatus.RUNNING;
  return;
}
 else if (latestStateChange == ExecutionState.CANCELED) {
  if (jobHasFailedOrCanceledStatus()) {
    this.jobStatus=InternalJobStatus.CANCELED;
  }
}
break;
case RUNNING:
if (latestStateChange == ExecutionState.CANCELING || latestStateChange == ExecutionState.CANCELED) {
this.jobStatus=InternalJobStatus.CANCELING;
return;
}
if (latestStateChange == ExecutionState.FAILED) {
final Iterator<ExecutionVertex> it=new ExecutionGraphIterator(this,true);
while (it.hasNext()) {
final ExecutionVertex vertex=it.next();
if (vertex.getExecutionState() == ExecutionState.FAILED && !vertex.hasRetriesLeft()) {
this.jobStatus=InternalJobStatus.FAILING;
return;
}
}
}
if (latestStateChange == ExecutionState.RECOVERING) {
this.jobStatus=InternalJobStatus.RECOVERING;
return;
}
if (jobHasFinishedStatus()) {
this.jobStatus=InternalJobStatus.FINISHED;
}
break;
case RECOVERING:
if (latestStateChange == ExecutionState.RERUNNING) {
this.recovering.clear();
this.jobStatus=InternalJobStatus.RUNNING;
}
break;
case FAILING:
if (jobHasFailedOrCanceledStatus()) {
this.jobStatus=InternalJobStatus.FAILED;
}
break;
case FAILED:
LOG.error("String_Node_Str");
break;
case CANCELING:
if (jobHasFailedOrCanceledStatus()) {
this.jobStatus=InternalJobStatus.CANCELED;
}
break;
case CANCELED:
LOG.error("String_Node_Str");
break;
case FINISHED:
LOG.error("String_Node_Str");
break;
}
}