Arch manual pages

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