Java Priority Queue Documentation