On Mon, 2 Aug 2021 14:38:23 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote: > This looks good. Thanks for fixing the mysterious (to me) cast. Thank you, Coleen! ------------- PR: https://git.openjdk.java.net/jdk/pull/4874