Version 1615 was commited by markb on 2010-03-22 21:21:29 +0000 (Mon, 22 Mar 2010) If required, case fold labels in newLabel() to avoid dups in label cache. Duplicate labels that only differed in letter case were being produced because the label cache saw the label strings before they were case folded.