Fess 10.3でのクローラ用プロキシ設定について

(from osdn.net/users/makopi23)
Fess 10.3のプロキシ設定について以下に記載がありますが、proxyHostとproxyPortの2つしか設定項目が無く、プロキシ用ユーザー名とプロキシ用パスワードの設定項目が見当たりません。
http://fess.codelibs.org/ja/10.3/config/crawler.html#id4

それに対し、Fess 9.4では上記2つに加え、プロキシ用ユーザー名とプロキシ用パスワードの設定項目があります。

Fess 10.3でプロキシ用ユーザー名とプロキシ用パスワードを設定するには、どうしたらよいのでしょうか。

(from osdn.net/users/shinsuke)
現状ですと、
https://github.com/codelibs/fess-crawler/blob/master/fess-crawler-lasta/src/main/resources/crawler/client.xml
を持ってきて、app/WEB-INF/classes/crawlerに置いて
http://fess.codelibs.org/ja/9.3/config/proxy.html#id2 のように
proxyCredentialsを指定していただくことになると思います。

次のバージョンでは設定パラメータで渡せるようにしたいと思います。

(from osdn.net/users/None)
Fess 13.1.1で下記方法でクロール出来ました。

fess-13.1.1\app\WEB-INF\classes\fess_config.properties
上記ファイル中の下記8080以外の空白部分にそれぞれ入力する事でプロキシ設定が出来、クロール開始されました。

http.proxy.host=
http.proxy.port=8080
http.proxy.username=
http.proxy.password=