presto-main/src/main/java/io/prestosql/execution/ClusterSizeMonitor.java/ClusterSizeMonitor/removeFuture
class ClusterSizeMonitor:    private synchronized void removeFuture(SettableFuture<?> future)
    {
        futures.remove(future);
    }