added shutdown() following execution of worker pool.