+1, Looks good, thanks for the native cleanup.
Roger On 04/23/2019 02:52 AM, Alan Bateman wrote:
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.htmlThe launcher changes look fine. -Alan