More explicit type arguments for the generic PriorityMap, to help some versions of javac