public Builder addReceivedTexts(
          int index, org.bwapi.proxy.messages.Messages.PlayerText.Builder builderForValue) {
        if (receivedTextsBuilder_ == null) {
          ensureReceivedTextsIsMutable();
          receivedTexts_.add(index, builderForValue.build());
          onChanged();
        } else {
          receivedTextsBuilder_.addMessage(index, builderForValue.build());
        }
        return this;
      }