Manpages of java2html in Debian stretch