public java.util.List<org.bwapi.proxy.messages.GameMessages.TechType> getResearchedTechsList() {
        if (researchedTechsBuilder_ == null) {
          return java.util.Collections.unmodifiableList(researchedTechs_);
        } else {
          return researchedTechsBuilder_.getMessageList();
        }
      }