installing micronaut

Then trying to install micronaut and spending a lot of time trying to work out why I can’t build it I stumble upon sdkman

    curl -s "https://get.sdkman.io" | bash

and then

    sdk install micronaut