chiark / gitweb /
Fix buildserver debian stable java paths