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 PingDirectory server for the change to take affect.