v2.5.1

Lucas Charles

@theoretick

8a692374 · Merge branch 'bump-sdkman' into 'master' · May 04, 2020

Bump SDKMAN to 5.8.1+484, Java 8 to 8.0.252, Java 11 to 11.0.7