chiark / gitweb /
Fix misleading java_path example