Thank you very much for the patch Adrian, I confirm it works. I'll upload a new version soon.
What is the recommended way to depend on GCC? Should the package depend on g++ (>= 4:6), or should it depend on gcc-6 with a build adjusted to use it? Emmanuel Bourg __ 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.