Update default value of DEFAULT_WEBSERVER_THREAD_POOL_SIZE