[arch-general] midori-git/webkitgtk3 not using openjdk/icedtea?