Name: dk30142 Date: 02/11/2004


I notice a bug where there is a <pre> with no </pre> tag:

http://java.sun.com/j2se/1.5.0/docs/api/java/lang/annotation/Target.html

<dl>
<dt><pre><font SIZE="-1"><a HREF="../../../java/lang/annotation/Documented.html"
title="annotation in java.lang.annotation">@Documented</a>
<a HREF="../../../java/lang/annotation/Retention.html" title="annotation in
java.lang.annotation">@Retention</a>(value=RUNTIME)
<a HREF="../../../java/lang/annotation/Target.html" title="annotation in
java.lang.annotation">@Target</a>(value=ANNOTATION_TYPE)
</font>public @interface <b>Target</b></dl>

For some reason, there is no visual impact on IE or Mozilla -- the </dl> seems
to turn off the <pre>, so it's a low-priority bug.

======================================================================