Pushkar Kulkarni Thu, 09 Nov 2023 02:27:23 -0800
Submitted https://salsa.debian.org/java-team/doctorj/-/merge_requests/2 for this.
Thanks! - Pushkar