public main.Messages.SpecExecutionEndingRequest getSpecExecutionEndingRequest() {
        if (specExecutionEndingRequestBuilder_ == null) {
          return specExecutionEndingRequest_;
        } else {
          return specExecutionEndingRequestBuilder_.getMessage();
        }
      }