On Mon, 7 Jul 2025 22:54:32 GMT, Michael Hall <mik3hall at gmail.com> wrote:
> What is the .jdk extension preceded by?
{NAME}-{VERSION}.jdk, where {NAME} is value of `--name` and {VERSION} is value of `--version`.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/26173#issuecomment-3046781194