public Builder removeReceivedTexts(int index) {
        if (receivedTextsBuilder_ == null) {
          ensureReceivedTextsIsMutable();
          receivedTexts_.remove(index);
          onChanged();
        } else {
          receivedTextsBuilder_.remove(index);
        }
        return this;
      }