On 22/04/2019 21:57, Phil Race wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8212701 > CSR: https://bugs.openjdk.java.net/browse/JDK-8222814 > Webrev: http://cr.openjdk.java.net/~prr/8212701/index.html The launcher changes look fine. -Alan