public main.Messages.SpecExecutionEndingRequestOrBuilder getSpecExecutionEndingRequestOrBuilder() {
        if (specExecutionEndingRequestBuilder_ != null) {
          return specExecutionEndingRequestBuilder_.getMessageOrBuilder();
        } else {
          return specExecutionEndingRequest_;
        }
      }