if (endHTMLEncountered) return;
if (t == insertTag) insertTagEncountered = true;
    public void handleStartTag(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);          }