Integer number = new Integer(count++);
Integer number = (Integer)(count++);
	private void build(CFG cfg) {		int count = 0;		for (Iterator<Location> i = cfg.locationIterator(); i.hasNext(); ) {			Integer number = new Integer(count++);			Location location = i.next();			locationToNumberMap.put(location, number);			numberToLocationMap.put(number, location);		}	}