Randomized PriorityQueue fixed