public org.bwapi.proxy.messages.GameMessages.TechTypeOrBuilder getResearchingOrBuilder(
          int index) {
        if (researchingBuilder_ == null) {
          return researching_.get(index);  } else {
          return researchingBuilder_.getMessageOrBuilder(index);
        }
      }