} finally {
if (workerLauncher != null) {
workerLauncher.shutdown();
}
if (fanOutStreamSender != null) {
fanOutStreamSender.shutdown();
}
// To be safe, wait again..
int waitingCount = 0;
while (workerLauncher != null) {
final int maximumWaitingCount = 10;