chiark / gitweb /
all: switch to jdk8 as default