Manpages of coco-java in Debian testing