In order to provide more control on which JDK is used for the build, this change intends to disable Gradle auto-provisioning.

Locally, SDKman can be used to installed the right JDK. On the CI, this should be configured via GitHub Actions.