Oops, I should have CC'd the bugs. https://lists.debian.org/debian-release/2017/12/msg00660.html
Thanks, Jeremy Bicha __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
