To keep track of different releases of jextract which all target the same Java version, we could add a minor version to jextract, or include the build number in the version string that we print for the --version option.