public java.util.List<? extends org.bwapi.proxy.messages.GameMessages.TechTypeOrBuilder> 
           getResearchedTechsOrBuilderList() {
        if (researchedTechsBuilder_ != null) {
          return researchedTechsBuilder_.getMessageOrBuilderList();
        } else {
          return java.util.Collections.unmodifiableList(researchedTechs_);
        }
      }