To better ease supporting multiple baselines, use SDKMAN's `.sdkmanrc` files to pick the precise version of Java used.