commonSupertype = null;
	private void add(ThrownException thrownException) {		ThrownException old = map.put(thrownException.getType(), thrownException);		// Avoid replacing an explicit exception with an identical		// implicit exception.		if (old != null && old.isExplicit())			thrownException.setExplicit(true);	}