public Builder removeResearchedTechs(int index) {
        if (researchedTechsBuilder_ == null) {
          ensureResearchedTechsIsMutable();
          researchedTechs_.remove(index);
          onChanged();
        } else {
          researchedTechsBuilder_.remove(index);
        }
        return this;
      }