public org.bwapi.proxy.messages.GameMessages.TechType getResearchedTechs(int index) {
        if (researchedTechsBuilder_ == null) {
          return researchedTechs_.get(index);
        } else {
          return researchedTechsBuilder_.getMessage(index);
        }
      }