presto-main/src/main/java/io/prestosql/metadata/DiscoveryNodeManager.java/DiscoveryNodeManager/getCoordinators
class DiscoveryNodeManager:    @Override
    public synchronized Set<InternalNode> getCoordinators()
    {
        return coordinators;
    }