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 [email protected]. 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 [email protected] for discussions and questions.
