Tue, 19 Mar 2013 19:16:59 -0700
8010317: DocLint incorrectly reports some <pre> tags as empty Reviewed-by: darcy