A todos os que porventura estejam monitorando este tópico: informo que o Sun Java estável /
stable / "oficial" a partir de
14/07/2020 passou a ser o
8u261 (versão 8, atualização 261).
Para manualmente
atualizar seu JRE que havia sido previamente instalado tal qual este tutorial explica, basta executar o supercomando que consta na
seção 1 do tutorial: o supercomando irá desinstalar o JRE anterior e instalar o JRE novo na arquitetura correta do seu sistema (32 bits ou 64 bits). É tudo automático.