Recommended versions of Java
We recommend installing a full Java JDK, while Mango should work with just a JRE we sometimes depend on tools only
available in the JDK for our scripts and for providing support.
- Mango versions 5.0.x and higher require JDK 17.
Installing OpenJDK 17 on Debian/Ubuntu operating systems
You can easily install OpenJDK on Debian/Ubuntu by running
sudo apt update
sudo apt install openjdk-17-jdk-headless
Installing OpenJDK 17
OpenJDK is a free and open source version of the Java JDK. AdoptOpenJDK provides pre-built OpenJDK binaries for a
variety of operating systems and architectures.
- Visit Azul Zulu OpenJDK.
- Navigate to Java 17.
- Choose your operating system and architecture.
- Download the archive.
- Extract the archive to your chosen location on your filesystem (e.g. /opt/openjdk).
- Set the JAVA_HOME environment variable to point to your installation directory.
- You may also want to add the bin directory to your path by appending $JAVA_HOME/bin to your PATH environment variable.
Setting your JAVA_HOME environment variable
Linux
Edit your /etc/environment file and add a line like JAVA_HOME=/opt/openjdk
(Press Ctrl-X
to exit, it will prompt to
save).
sudo nano /etc/environment
Or a simple one line command:
sudo sh -c 'echo JAVA_HOME=/opt/openjdk >> /etc/environment'
Windows
-
Open “System Properties”, on Windows 10 you can search for “Environment Variables”.
-
Click “Environment Variables”.
-
Under “System variables” click “New”.
-
Enter JAVA_HOME as the variable name and your JDK installation path under variable value.
-
Press “OK” twice.