chiark / gitweb /
Use OpenJDK if java symlink seems broken