It turns out there was already an RM bug filed: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969975
I will merge the duplicate I created into it: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=971730 __ 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.
