/**
 * Exceptions we throw when clients try to get elements from empty
 * collections.
 */
public class CollectionEmptyException
  extends Exception
{
} // class CollectionEmptyException