Some Waveset settings can only be updated by editing Waveset.properties in a text editor. The Waveset.properties file is located in the config directory in your base Waveset installation directory ($WSHOME/config or %WSHOME%/config).
The Waveset.properties file is loosely organized into the following sections:
Misc Options
Authentication Options
Object Cache Options
Provisioning Options
Task Scheduler Options
Resource Adapter Options
List Cache Properties
Rule Driven Members Cache Properties
Session Settings
Server Listeners
UI Options
Global Options for the JNDI Context Pooling
Task Executor Options
XML Parsing Options
Open the Waveset.properties file in a text editor.
You can find the Waveset.properties file in the config directory in your base Waveset installation directory ($WSHOME/config or %WSHOME%/config).
Modify the setting (or settings) that you want to change and save the file.
Repeat as needed on other Waveset instances.