Using Java

You will need to install a Java Development Kit for Java 17. To this end, you can go to the website of one of the providers of JDKs, such as https://www.adoptium.net/, and proceed with the installation.

You can check your installation with the following command.

$ javac --version
javac 17[.0.0 or above]

If the above command does not yield the aforementioned version, this is probably because you have several JDKs installed on your machine. There are several solutions to tell your system which JDK to use, often dependent on your operating system. An OS-independent solution is SDKMAN (see https://sdkman.io).