01-ignore-versioning-plugin.patch
02-ignore-github-pages-plugin.patch
03-reproducible-builds-timestamp.patch
04-build-on-java-17.patch
