public main.Messages.ExecutionEndingRequest getExecutionEndingRequest() {
        if (executionEndingRequestBuilder_ == null) {
          return executionEndingRequest_;
        } else {
          return executionEndingRequestBuilder_.getMessage();
        }
      }