public Builder removeTechs(int index) {
        if (techsBuilder_ == null) {
          ensureTechsIsMutable();
          techs_.remove(index);
          onChanged();
        } else {
          techsBuilder_.remove(index);
        }
        return this;
      }