chiark / gitweb /
common: fix JDK detection on latest arch