You are absolutely right, I should have fixed it as I did for the rest.
Updated webrev can be found at http://cr.openjdk.java.net/~henryjen/jdk9/8047721/1/webrev/ Cheers, Henry On 06/20/2014 01:01 PM, Paul Benedict wrote:
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