chiark / gitweb /
jpctb: cope if java binary is in jre1.yada