public org.bwapi.proxy.messages.GameMessages.TechTypeOrBuilder getTechOrBuilder() {
        if (techBuilder_ != null) {
          return techBuilder_.getMessageOrBuilder();
        } else {
          return tech_;
        }
      }