[Pki-devel] [PATCH] 16 Fixed problem installing KRA with shared port.

KRA could not be installed using a shared port because it would generate a web.xml with invalid nested comment. The web.xml template has been fixed to remove the nested comment. -- Endi S. Dewata