Program: 135961
Project: 135961
Buggy source:
/** 
 * Converts the status string to the correct marker type. The status string should be one of :   {@link StepStatusMessage#CHECKED}{@link StepStatusMessage#CHECKING_FAILED}{@link StepStatusMessage.MISSING_PROOFS}{@link StepStatusMessage.OMITTED}{@link StepStatusMessage.PROVED}{@link StepStatusMessage.PROVING_FAILED}{@link StepStatusMessage.BEING_PROVED}If the input is not one of these, this method will return null. The marker type for proving failed steps is different depending on whether it is a leaf step or not.
 * @param status
 * @param isLeafStep true iff the status is for a leaf step (a step with nochildren or with a leaf proof).
 * @return
 */
public static String statusStringToMarkerType(String status,boolean isLeafStep){
  if (status.equals(StepStatusMessage.CHECKED)) {
    return STEP_CHECKED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.CHECKING_FAILED)) {
    return STEP_CHECKING_FAILED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.MISSING_PROOFS)) {
    return STEP_MISSING_MARKER;
  }
 else   if (status.equals(StepStatusMessage.OMITTED)) {
    return STEP_OMITTED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.PROVED)) {
    return STEP_PROVED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.PROVING_FAILED)) {
    if (isLeafStep) {
      return STEP_LEAF_FAILED;
    }
 else {
      return STEP_PROVING_FAILED_MARKER;
    }
  }
 else   if (status.equals(StepStatusMessage.BEING_PROVED)) {
    return STEP_BEING_PROVED_MARKER;
  }
  return null;
}

Fixed version (ground truth):
/** 
 * Converts the status string to the correct marker type. The status string should be one of :   {@link StepStatusMessage#CHECKED}{@link StepStatusMessage#CHECKING_FAILED}{@link StepStatusMessage.MISSING_PROOFS}{@link StepStatusMessage.OMITTED}{@link StepStatusMessage.PROVED}{@link StepStatusMessage.PROVING_FAILED}{@link StepStatusMessage.BEING_PROVED}If status is not one of these, this method will return null. If status is null, this method returns null. The marker type for proving failed steps is different depending on whether it is a leaf step or not.
 * @param status
 * @param isLeafStep true iff the status is for a leaf step (a step with nochildren or with a leaf proof).
 * @return
 */
public static String statusStringToMarkerType(String status,boolean isLeafStep){
  if (status == null) {
    return null;
  }
  if (status.equals(StepStatusMessage.CHECKED)) {
    return STEP_CHECKED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.CHECKING_FAILED)) {
    return STEP_CHECKING_FAILED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.MISSING_PROOFS)) {
    return STEP_MISSING_MARKER;
  }
 else   if (status.equals(StepStatusMessage.OMITTED)) {
    return STEP_OMITTED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.PROVED)) {
    return STEP_PROVED_MARKER;
  }
 else   if (status.equals(StepStatusMessage.PROVING_FAILED)) {
    if (isLeafStep) {
      return STEP_LEAF_FAILED;
    }
 else {
      return STEP_PROVING_FAILED_MARKER;
    }
  }
 else   if (status.equals(StepStatusMessage.BEING_PROVED)) {
    return STEP_BEING_PROVED_MARKER;
  }
  return null;
}