When upgrading ServiceDesk on the SMP 7.1 server SIM reports that "You must manually upgrade the Workflow Server that is on this SMP"