tweak GRUB2 examples, update java version, tweak texlive mirror