Henry,

I think "JCE1.2" should get the space to be "JCE 1.2" so it matches other
secondary versions like "JNDI 1.1" (last part of your patch). Or, you could
make that another cleanup in itself.

Cheers,
Paul

Reply via email to