public Iterator<ThrownException> iterator() { return map.values().iterator(); }
public ThrownExceptionIterator iterator() { return new ThrownExceptionIterator(); }
	public Iterator<ThrownException> iterator() { return map.values().iterator(); }