Re: [Pki-devel] [PATCH] 423 Removed config path from web.xml.