Thank both for the review. -Man -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.java.net/pipermail/serviceability-dev/attachments/20190502/c0bc0458/attachment.html>