On Mon, 7 Nov 2022 00:36:43 GMT, David Holmes <dholmes at openjdk.org> wrote: > Seems fine ( lot of effort just to issue a notice to the user). Thanks David! ------------- PR: https://git.openjdk.org/jdk/pull/11006