Wed, 17 Jul 2013 19:12:03 -0700
8020313: doclint doesn't reset HTML anchors correctly Reviewed-by: mcimadamore