langtools/test/tools/doclint/EmptyPreTest.java
2013-03-20 jjg 8010317: DocLint incorrectly reports some <pre> tags as empty
less more (0) tip