[Merge] ~pushkarnk/ubuntu/+source/zeroc-ice:fix-2053248 into ubuntu/+source/zeroc-ice:ubuntu/devel

[Pushkar Kulkarni]

Built with current default-jdk (JDK 17):
https://launchpad.net/~pushkarnk/+archive/ubuntu/merges-ppa/+packages

Built with JDK 21 as the default-jdk:
https://launchpad.net/~pushkarnk/+archive/ubuntu/migrate21/+build/27778627

-- 
https://code.launchpad.net/~pushkarnk/ubuntu/+source/zeroc-ice/+git/zeroc-ice/+merge/460600
Your team Ubuntu Sponsors is requested to review the proposed merge of ~pushkarnk/ubuntu/+source/zeroc-ice:fix-2053248 into ubuntu/+source/zeroc-ice:ubuntu/devel.