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