public Builder setReceivedTexts(
          int index, org.bwapi.proxy.messages.Messages.PlayerText value) {
        if (receivedTextsBuilder_ == null) {
          if (value == null) {
            throw new NullPointerException();
          }
          ensureReceivedTextsIsMutable();
          receivedTexts_.set(index, value);
          onChanged();
        } else {
          receivedTextsBuilder_.setMessage(index, value);
        }
        return this;
      }