}
                });
            }

            startLatch.countDown();
            boolean completed = endLatch.await(10, TimeUnit.SECONDS);
            long endTime = System.currentTimeMillis();
            executor.shutdown();

            assertTrue(completed, "All verify operations should complete");

     * @param di the starting index in the destination array
     * @param enc the time encoding type (e.g., TIME_1970_SEC_32BE)
     * @return the number of bytes written
     */
    public static int enc_time(final Date date, final byte[] dst, final int di, final int enc) {
        long t;

        return switch (enc) {
        case TIME_1970_SEC_32BE -> enc_uint32be((int) (date.getTime() / 1000L), dst, di);

labels.userFavorite=Favorite Log
labels.userInfo=User Info
labels.webApiJson=JSON Response
labels.webConfigName=Web Crawl Config Name
labels.allLanguages=All Languages
labels.dictId=Dictionary ID
labels.docId=Document ID
labels.endTime=End Time
labels.hq=hq
labels.inputs=Inputs
labels.jobLogging=Logging
labels.jobName=Name
labels.jobStatus=Status
labels.labelTypeIds=Labels
labels.lang=Language
labels.outputs=Outputs

labels.threadName=執行緒名稱
labels.url=URL
labels.userFavorite=收藏日誌
labels.userInfo=使用者資訊
labels.webApiJson=JSON響應
labels.webConfigName=Web爬網配置名稱
labels.allLanguages=所有語言
labels.dictId=字典ID
labels.docId=文檔ID
labels.endTime=結束時間
labels.hq=hq
labels.inputs=輸入
labels.jobLogging=日誌記錄
labels.jobName=名稱
labels.jobStatus=狀態
labels.labelTypeIds=標籤
labels.lang=語言
labels.outputs=輸出
labels.pos=詞性
labels.purgeJobLogDay=刪除以前的作業日誌

labels.userInfo=Benutzerinformationen
labels.webApiJson=JSON-Antwort
labels.webConfigName=Webcrawl-Konfigurationsname
labels.allLanguages=Alle Sprachen
labels.dictId=Wörterbuch-ID
labels.docId=Dokument-ID
labels.endTime=Endzeit
labels.hq=hq
labels.inputs=Eingaben
labels.jobLogging=Protokollierung
labels.jobName=Name
labels.jobStatus=Status
labels.labelTypeIds=Labels
labels.lang=Sprache
labels.outputs=Ausgaben

labels.webApiJson=Odpowiedź JSON
labels.webConfigName=Nazwa konfiguracji indeksowania stron internetowych
labels.allLanguages=Wszystkie języki
labels.dictId=ID słownika
labels.docId=ID dokumentu
labels.endTime=Godzina zakończenia
labels.hq=hq
labels.inputs=Wejścia
labels.jobLogging=Logowanie
labels.jobName=Nazwa
labels.jobStatus=Status
labels.labelTypeIds=Etykiety
labels.lang=Język
labels.outputs=Wyjścia

labels.webApiJson=Respuesta JSON
labels.webConfigName=Nombre de configuración de rastreo web
labels.allLanguages=Todos los idiomas
labels.dictId=ID de diccionario
labels.docId=ID de documento
labels.endTime=Hora de finalización
labels.hq=hq
labels.inputs=Entradas
labels.jobLogging=Registro
labels.jobName=Nombre
labels.jobStatus=Estado
labels.labelTypeIds=Etiquetas
labels.lang=Idioma
labels.outputs=Salidas

labels.threadName=스레드 이름
labels.url=URL
labels.userFavorite=즐겨찾기 로그
labels.userInfo=이용자 정보
labels.webApiJson=JSON 응답
labels.webConfigName=웹 크롤링 설정 이름
labels.allLanguages=모든 언어
labels.dictId=사전 ID
labels.docId=문서 ID
labels.endTime=종료 시간
labels.hq=hq
labels.inputs=변환 원본
labels.jobLogging=로깅
labels.jobName=이름
labels.jobStatus=상태
labels.labelTypeIds=라벨
labels.lang=언어
labels.outputs=대상
labels.pos=품사
labels.purgeJobLogDay=이전 작업 로그 삭제

labels.userFavorite=Favorite Log
labels.userInfo=User Info
labels.webApiJson=JSON Response
labels.webConfigName=Web Crawl Config Name
labels.allLanguages=All Languages
labels.dictId=Dictionary ID
labels.docId=Document ID
labels.endTime=End Time
labels.hq=hq
labels.inputs=Inputs
labels.jobLogging=Logging
labels.jobName=Name
labels.jobStatus=Status
labels.labelTypeIds=Labels
labels.lang=Language
labels.outputs=Outputs

labels.userInfo=Информация о пользователе
labels.webApiJson=Ответ JSON
labels.webConfigName=Имя конфигурации веб-сканирования
labels.allLanguages=Все языки
labels.dictId=ID словаря
labels.docId=ID документа
labels.endTime=Время окончания
labels.hq=hq
labels.inputs=Входы
labels.jobLogging=Ведение журнала
labels.jobName=Имя
labels.jobStatus=Статус
labels.labelTypeIds=Метки
labels.lang=Язык
labels.outputs=Выходы