index = new Integer(getNumTypes());
index = (Integer)(getNumTypes());
	int getIndexOfType(ObjectType type) {		Integer index = typeIndexMap.get(type);		if (index == null) {			index = new Integer(getNumTypes());			typeList.add(type);			typeIndexMap.put(type, index);		}		return index.intValue();	}