Updated javadoc to reflect the specifics of PlayerInfo.getNumDice()