Arch manual pages

The package extra/jre7-openjdk-headless contains these man pages: