throw new ClassNotFoundException("Class not found: " + missingClassList);
throw new ClassNotFoundException("Class not found: " + Arrays.toString(missingClassList));
	public boolean isSupertype(ObjectType type) throws ClassNotFoundException {		boolean isSupertype = supertypeSet.get(type.getLabel());		// NOTE: missing classes only represent lack of accuracy		// if the query is negative (meaning that parts of the		// class hierarchy were not explored).		if (missingClassList.length > 0 && !isSupertype)			throw new ClassNotFoundException("Class not found: " + missingClassList);		return isSupertype;	}