RFR: 8237195: increase release version in 13-dev

[Johan Vos]

Hi Kevin,

Please review http://cr.openjdk.java.net/~jvos/8237195/webrev.00/ which
fixes https://bugs.openjdk.java.net/browse/JDK-8237195

Thanks,

- Johan