public final class HtmlHeaderSectionHandler extends AbstractMarkupFilter
{
private static final String BODY = "body";
private static final String HEAD = "head";
public static final String HEADER_ID = "_header_";
<BUG>private boolean foundHead = false;
private boolean ignoreTheRest = false;</BUG>
private final Markup markup;
public HtmlHeaderSectionHandler(final Markup markup)
{

public final class HtmlHeaderSectionHandler extends AbstractMarkupFilter
{
private static final String BODY = "body";
private static final String HEAD = "head";
public static final String HEADER_ID = "_header_";
private boolean foundHead = false;
private boolean foundClosingHead = false;
private boolean ignoreTheRest = false;
private final Markup markup;
public HtmlHeaderSectionHandler(final Markup markup)
{
