won’t the ClusterCoreDaemon be shut down by cluster.shutdown(), thus making this superfluous?