if (!realSet.contains(p)) realSet.add(p);
realSet.add(p);
	private void addInternal(NodeProxy p) {		if (realSet == null)			realSet = new ExtArrayNodeSet(100);		if (!realSet.contains(p))			realSet.add(p);	}