if (endHTMLEncountered) return;
if (t == insertTag) insertTagEncountered = true;
    public void handleSimpleTag(HTML.Tag t, MutableAttributeSet a, int pos)    {      // Don't call the Action if we've already seen </html>.      if (endHTMLEncountered)        return;            TagAction action = (TagAction) tagToAction.get (t);      if (action != null)        {          action.start(t, a);          action.end(t);        }    }