public org.bwapi.proxy.messages.Messages.PlayerText getReceivedTexts(int index) {
        if (receivedTextsBuilder_ == null) {
          return receivedTexts_.get(index);
        } else {
          return receivedTextsBuilder_.getMessage(index);
        }
      }