Introduced convenience method to shutdown a given ExecutorService at the
latest specified default time (belongs to issue #4)
Introduced method to shutdown the corresponding background executor of
an UpdateOperation (belongs to issue #4)