java priority queue max size