Manpages of openjfx in Debian stretch