pqueue adt implementation changed such that it is now a max-priority queue.