Minor: add default-jdk to Debian install steps
Fix ba9ae80ffc76b5235e649fffa6390c21a674abd2 to use <input> not <button> for multi-submit form
Merge branch 'master' into silent-ttx