Update Gradle and Java versions #25
Description
What the title says, but in case we restructure the website build (no issue, except in maintainers' heads), this may be unnecessary.
{{ message }}
What the title says, but in case we restructure the website build (no issue, except in maintainers' heads), this may be unnecessary.