Thank you very much Steve for reporting the problem.
And thank you also to Jody for fixing the build server and re-releasing it.
Please take note of the update:
https://geoserver.org/announcements/2023/08/30/geoserver-2-22-5-released.html
Peter
On Wed, 6 Sept 2023 at 05:51, Jody Garnett
We're pleased to finally announce the release of the latest and final
maintenance versions of GeoTools (28.5) and GeoServer (2.22.5).
Both releases contain a number of bug fixes and enhancements so you are
encouraged to upgrade to them. More details are available in the related
blog posts -
