Manpages of openjdk-24-jre-headless in Debian unstable