Update all web pages to say "Java 17" instead of "Java 8"

[Manuel Luque]

After migrating OpenMarkov from Java 8 to Java 17, it is important to review all web pages related to OpenMarkov to update them accordingly.