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