You must stop and later restart the Workbench process to make certain modifications to your Tools and Frameworks installation.

You must configure the workbench-init-d.sh script before using the commands outlined below.

When using the following commands, you may be prompted to enter the password for the system user that Workbench runs under.