properSupertypeListInBFSOrder.trimToSize();
supertypeListInBFSOrder.trimToSize();
	public void finish(String[] missingClassList) {		if (missingClassList.length > 0)			this.missingClassList = missingClassList;		properSupertypeListInBFSOrder.trimToSize();	}