Berin, for QueueElement, is it always true that:
a.getType() == b.getType()
<------->
a.getClass() == b.getClass()
that is, one can always discriminate depending on event class?
/LS
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
