machines/archlinux: configure Java properly
machines/archlinux: configure Java properly

Use archlinux-java to configure java and javac to OpenJDK 15, which is
now installed instead of OpenJDK 11.

fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared