Manpages of jikespg in Debian stretch