public int getResearchedTechsCount() {
        if (researchedTechsBuilder_ == null) {
          return researchedTechs_.size();
        } else {
          return researchedTechsBuilder_.getCount();
        }
      }