install-world.sh: proper names for jdk downloads