Re: [Pki-devel] [PATCH] 88 Merged pki-jndi-realm.jar into pki-cmscore.jar.