Switch from sdkman to asdf sdk manager (!56)