Update and rename Pool.php to ThreadManager.php