Submitted https://salsa.debian.org/java-team/doctorj/-/merge_requests/2 for this.
Thanks! - Pushkar __ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
