org.eclipse.jdt.core.tests.model/workspace/FormatterJavadoc/test/html/ul/out/default/X04.java

package test.html.ul;

public interface X04 {
	int foo2();

	/**
	 * 
	 * 
	 * 
	 * <ul>
	 * Formatting of header comments.
	 * 
	 * 
	 * 
	 * </ul>
	 * toto
	 * 
	 * 
	 */
	int foo(int a, int b);

}