Manpages of gcj-jre-headless in Debian wheezy