/**
 * Exceptions we throw when collections fill.
 */
public class CollectionFullException
  extends Exception
{
} // class CollectionFullException