Because the previous blog mentioned that the installation of UPPAAL requires JRE 1.8.0-1.12.0, here is a tutorial on downloading, installing and configuring the environment. Children's shoes that do not require this version can choose other versions to download.
Download the official website https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html to
find this location, choose the JDK that suits your computer's number of bits, JDK and JRE will be downloaded at the same time, we follow the official website The provided JDK can be downloaded
I chose the 64-bit Windows version here. Click Accept, download to
download this version of JDK, you need to log in. If you don’t have an account, you can register via email (maybe in the spam folder). Children’s shoes who don’t want to register can go to my blog to download the JDK and JRE installation packages. The
download takes about one to two minutes.
Create a new folder java, and create two subfolders jre and jdk in the folder.
Double-click the jdk file you just downloaded,
click Next,
change the location to the newly created jdk subfolder, and click Next to
install
After the jdk installation is completed, it will automatically jump to the process of installing jre, modify the installation path to the newly created jre subfolder, and click Next.
Install jre.
The installation is complete.
The next step is to configure the environment.
Java needs to configure three environment variables, namely JAVA_HOME, Path and classpath.
Right-click this computer->Properties->Advanced System Settings->Advanced->Environment Variables->System Variables
Create a new system variable JAVA_HOME, select the jdk folder,
modify the Path variable, click Edit, and create a new environment variable %JAVA_HOME%\bin
Click Move up to move this variable to the top.
New classpath environment variable classpath=.;%JAVA_HOME%\lib;%JAVA_HOME%\lib\dt.jar;%JAVA_HOME%\tools.jar
and click OK. The environment configuration is complete.
Run in cmd
java -version
Run again
javac -version
Display the version so that it is successfully installed and configured.