Switched to BinaryHeap as default priority queue.