}
static getWorkerPoolMaxSize(): number {
Configuration.deprecateConfigurationKey('workerPoolSize;', 'Use \'workerPoolMaxSize\' instead');
}
static getWorkerPoolMaxSize(): number {
Configuration.deprecateConfigurationKey('workerPoolSize;', 'Use \'workerPoolMaxSize\' instead');