310311312313314315316317
} } synchronized void initializeBrokersVisited(){ if (this.brokersVisited == null){ this.brokersVisited = new CopyOnWriteArraySet(); } }