For reference here is a possible fix: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780579#15
It is currently not possible for me to patch the debian package. __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
