A non-text attachment was scrubbed... Name: ToolProviderNullCheck.patch Type: text/x-patch Size: 2993 bytes Desc: not available URL: <https://mail.openjdk.java.net/pipermail/core-libs-dev/attachments/20190216/9ea8e15e/ToolProviderNullCheck.patch>