hello Antoine, thank you for the report. I cannot reproduce this on stretch with GNOME3: It shows up in the list of applications (super key), and in both "menu editors". Can you provide your desktop environment (GNOME3?) and a screenshot that shows the problem?
I will ask x...@lists.freedesktop.org. Cheers and Best Regards, -- Felix Natter debian/rules! __ 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.