Как включить аутентификацию дайджеста для Jetty?

Мы получили Jetty, выполняющий HTTP-интерфейс Elastic Search с аутентификацией BASIC. Вместо этого мы хотели бы использовать DIGEST-аутентификацию, но документация Jetty трудно согласовать с документацией Jetty Elastic Search; в частности, мы не уверены, где в цепочке конфигурации нам нужно установить метод аутентификации (узел "auth-method" в документации Jetty).

К вашему сведению, мы используем файлы stock jetty.xml, jetty -hash-auth.xml и jetty -restrict-all.xml.

К вашему сведению, мы видели слово "BASIC" в файле jetty-restrict-all.xml, но изменение его на "DIGEST", по-видимому, не включало дайджест-аутентификацию.

Кто-нибудь смог заставить эту комбинацию работать?