Re: [Pki-devel] [PATCH] Removal of version numbers from jar file names