Hi Gilles, Am 21.02.2017 um 22:09 schrieb Gilles Filippini: > Would the attached patch do the trick?
yes, I can confirm that this works well for me. Thank you for the quick fix. Best regards Ole __ 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.