public Iterator<ObjectType> iterator() { return set.iterator(); }
public Iterator<ThrownException> iterator() { return map.values().iterator(); }
		public Iterator<ObjectType> iterator() { return set.iterator(); }