Minor code cleanup of BuiltinPriorityQueue.java