(CR #448806) The wstool.sh commands for activating and deactivating Web services, wstool.sh activate and wstool.sh deactivate, do not work.
