From Roger Riggs:

Here's a warning from a method using nested <pre> {@code ...:

  Generating /tmp/xx/DocLintBug.html...
/ws/Threeten-Examples/src/DocLintBug.java:14: warning: empty <pre> tag
     * }</pre>


Line 14:
<pre>{@code
 * String text = date.toString(formatter);
 * LocalDate date = LocalDate.parse(text, formatter);
 * }</pre>