Changes

#3 (Feb 15, 2024, 9:42:31 AM)

1. make sure built javadoc contains year 2024, (commit: 292e95a) — Lukas Jungmann / githubweb

#2 (Oct 27, 2023, 12:34:22 AM)

1. use release 11 to comply with the plan (commit: 7d635c7) — Lukas Jungmann / githubweb
2. update parent to 1.0.9 (commit: 606b49d) — Lukas Jungmann / githubweb
3. make build reproducible (commit: 1c0df1c) — Lukas Jungmann / githubweb