Process preferences

Using the Process preferences, you can set the milestone level, specify a default Process router, enter available RMI port numbers for Process routers, specify the default RMI port, specify the Process JRE version, and specify the Process JRE executable. Be sure to also set the Documentation server preference to enable access to the Help for Process.