public main.Messages.SpecExecutionStartingRequest getSpecExecutionStartingRequest() {
        if (specExecutionStartingRequestBuilder_ == null) {
          return specExecutionStartingRequest_;
        } else {
          return specExecutionStartingRequestBuilder_.getMessage();
        }
      }