chiark / gitweb /
Fix JAVA_HOME environment variable handling