Jextract tool extension.
Checksums for the downloaded tool per supported host.
Version of the JDK. Must be a version for which Jextract provides pre-built binaries.