Manpages of src:javamorph in Debian stretch