chiark / gitweb /
Mention setting JAVA_HOME for build in README