private ValidationResult.Option[] calculateOptions() {
    ValidationResult.Option[] options;
    if (myPatch.isStrict() || isStrict()) {
      if (isCritical()) {
        options = new ValidationResult.Option[]{ValidationResult.Option.REPLACE};
      }
      else {
        options = new ValidationResult.Option[]{ValidationResult.Option.NONE};
      }
    }
    else {
      if (isCritical()) {
        options = new ValidationResult.Option[]{ValidationResult.Option.REPLACE, ValidationResult.Option.KEEP};
      }
      else {
        options = new ValidationResult.Option[]{ValidationResult.Option.IGNORE};
      }
    }
    return options;
  }
private ValidationResult.Option[] calculateOptions()