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 [email protected] for discussions and questions.
