public main.Messages.SpecExecutionEndingRequest.Builder getSpecExecutionEndingRequestBuilder() {
        bitField0_ |= 0x00000010;
        onChanged();
        return getSpecExecutionEndingRequestFieldBuilder().getBuilder();
      }