Got rid of customer Heap in favor of built-in PriorityQueue.