For purposes of diagnostic logs, code names are preferable to display names.
[FIXED JENKINS-22631] Do not just warn about multiple builds with the same number; note this in the official problem list, and offer to fix it.