Actually, that's not quite true, as I see I can download Java 11 versions here: https://www.azul.com/downloads/zulu-community/?version=java-11-lts&os=linux&architecture=x86-32-bit&package=jdk. Maybe I'll give it a go.