Fix PriorityQueue constructor for Java7