On Sun, 13 Aug 2023 07:15:45 GMT, Alan Bateman <alanb at openjdk.org> wrote: > AutoDelete is probably a bit overkill but okay. Thanks! Any more takers? ------------- PR Comment: https://git.openjdk.org/jdk/pull/15231#issuecomment-1677361679