Steps to reproduce:
- Start up GeoServer
- Issue a full "reload"
- Rename an existing workspace
On the UI the operation apparently went smoothly, but the logs report:
Reloading the configuration causes the old workspace name to show up. It is unclear if this has any other side effects.