The threadpool name of a workmanager must be the name of the workmanager

The threadpools for a workmanager accept any name but since this name is not persisted, the name of the workmanager will be used when starting from XML thus changing the address of the resource. We should ensure that the name of the threadpool is the workmanager name.