HTMLDocument document = new HTMLDocument();
HTMLDocument document = new HTMLDocument(getStyleSheet());
  public Document createDefaultDocument()  {    HTMLDocument document = new HTMLDocument();    document.setParser(getParser());    return document;  }