chiark / gitweb /
automatically detect various installed JDKs and set JAVA[6-9]_HOME