public main.Messages.SpecExecutionStartingRequestOrBuilder getSpecExecutionStartingRequestOrBuilder() {
        if (specExecutionStartingRequestBuilder_ != null) {
          return specExecutionStartingRequestBuilder_.getMessageOrBuilder();
        } else {
          return specExecutionStartingRequest_;
        }
      }