Arch manual pages

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