It would then be useful with Java 1.5's PriorityQueue and that would be good because PriorityQueue has a remove() method which makes it useful for manipulating the queue.
Antony --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]