Prio and nextPrio in Player, class diagrams