To change the version of Java that is used by the server and tools, edit the config/java.properties file and apply the change by invoking bin/dsjavaproperties with no command line options.
You must restart the server for the change to take affect.
Inside config/java.properties, alter the value of
default.java-home to point to the Java correct Java Runtime
Environment (JRE).
Any time the config/java.properties file is updated, the bin/dsjavaproperties tool must be run to apply the new configuration.
$ bin/dsjavaproperties