Dear Pierre, we can confirm that the upgrade solves the problem ... Thank you and regards!
Guido __ 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.
