8202462: {@index} may cause duplicate labels

Reviewed-by: jjg
5 files changed