Thu, 24 Oct 2013 11:22:50 -0700
8006248: Since addition of -Xdoclint, javadoc ignores unknown tags Reviewed-by: jjg