Update dependency org.plumelib:require-javadoc to v1.0.9

[renovate[bot]]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
org.plumelib:require-javadoc	1.0.6 -> 1.0.9

---

Release Notes

plume-lib/require-javadoc (org.plumelib:require-javadoc)

### [`v1.0.9`](https://togithub.com/plume-lib/require-javadoc/blob/HEAD/CHANGELOG.md#109-2024-03-28) Don't require documentation on record parameters (fields), because Javadoc requires `@param` tags in the Javadoc for the record. ### [`v1.0.8`](https://togithub.com/plume-lib/require-javadoc/blob/HEAD/CHANGELOG.md#108-2024-03-27) Bugfix: reinstate support for compiling and running under JDK 8. ### [`v1.0.7`](https://togithub.com/plume-lib/require-javadoc/blob/HEAD/CHANGELOG.md#107-2024-03-26) Support Java 17 syntax. Support compiling and running under JDK 21.

---

Configuration

📅 Schedule: Branch creation - "after 10pm every weekday,before 5am every weekday,every weekend" in timezone America/Los_Angeles, Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• [ ] If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.