public void setNodeHighlighted(Node n, boolean highlighted){
		if(highlighted){
			nodesToHighlight.add(n);
		}
		else if(nodesToHighlight.contains(n)){
			//if this is highlighted node, dis-highlight it.
			nodesToHighlight.remove(n);
		}
	}