How to change the default Java version on Ubuntu 18.04 LTSHow to change the default Java version on CentOS 7How to change the default Java version on Linux with sdkman