On Wed, 23 Mar 2022 14:57:25 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > In this case then JDK-4850330 could be closed as a duplicate. Yes, having it show up as sealed in the javadoc makes it clear. ------------- PR: https://git.openjdk.java.net/jdk/pull/7907