If calling `shutdown()` rather than `shutdownNow()`, then previously submitted tasks will be executed. Is that wanted here?

Should it call `executor.awaitTermination()`? I suspect probably not; not sure what synchronization it'll have with this call to stop() so blocking for those other methods to complete might cause problems...