EventPriorityQueue now uses Java's PRIORITY QUEUE