public void addHighlightedNodes(Collection<Tree> nodes) {
		highlightedNodes = new ArrayList<Tree>();
		highlightedNodes.addAll(nodes);
	}
Slow for big lists of highlighted nodes
tool/src/org/antlr/v4/gui/TreeViewer.java