/usr/share/man/man1/jikes.1.gz /usr/share/man/man1/jikes-sablevm.1.gz