Description Markus Keller 2008-06-26 06:12:23 EDT

I20080624-0800, already in 3.3.2

The Javadoc formatter replaces &#XXX; in <pre> with interpreted characters. I would expect that the formatter only touches whitespace.

Formatting this:
/**
 * &#x01;&#x20;&#x21;&#x40;&#x41;&#233;
 * <pre>&#x01;&#x20;&#x21;&#x40;&#x41;&#233;</pre>
 */
public class TestClass {}


Results in:
/**
 * &#x01;&#x20;&#x21;&#x40;&#x41;&#233;
 * 
 * <pre>
 *  !@Aé
 * </pre>
 */
public class TestClass {
}