I think originally I had `stop()` submit tasks to remove members one-by-one, then called `shutdown()` to terminate once they'd all completed. As the comment indicates, I changed my mind about this. It's probably safe to call `shutdownNow()` instead.