public main.Messages.ExecutionEndingRequestOrBuilder getExecutionEndingRequestOrBuilder() {
        if (executionEndingRequestBuilder_ != null) {
          return executionEndingRequestBuilder_.getMessageOrBuilder();
        } else {
          return executionEndingRequest_;
        }
      }