indexer.webfs.commit.margin.time=5000
# Maximum number of empty lists for webfs in the indexer.
indexer.webfs.max.empty.list.count=3600
# Update interval (ms) for webfs in the indexer.
indexer.webfs.update.interval=10000
# Maximum document cache size for webfs in the indexer.
indexer.webfs.max.document.cache.size=10
# Maximum document request size (bytes) for webfs in the indexer.

            if (!hasRelevant) {
                return RelevanceEvaluationResult.noRelevantResults();
            }

            final List<Integer> indexes = extractJsonIntArray(response, "relevant_indexes");
            final List<String> docIds = indexes.stream()
                    .filter(i -> i > 0 && i <= searchResults.size())
                    .map(i -> getStringValue(searchResults.get(i - 1), "doc_id"))

labels.rebuild_config_index_button=Opnieuw opbouwen
labels.load_bulk_data=Standaardgegevens laden
labels.rebuild_target_indices=Doelindexen
labels.rebuild_config_index_confirmation=Weet u zeker dat u de geselecteerde configuratie-indexen opnieuw wilt opbouwen? Deze bewerking wordt op de achtergrond uitgevoerd.
labels.plugin_title=Plugin
labels.plugin_list_name=Pluginlijst
labels.plugin_type=Type
labels.plugin_name=Naam
labels.plugin_version=Versie