Some Identity Manager 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 Identity Manager 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
In a text editor, open Waveset.properties, which is located in the config directory in your base Identity Manager 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 Identity Manager instances.