new char[] {' ', ' '}, 0, 2 );
new char[] {' '}, 0, 1 );
    protected void addSpecialElement(HTML.Tag t, MutableAttributeSet a)    {      a.addAttribute(StyleConstants.NameAttribute, t);            // Migrate from the rather htmlAttributeSet to the faster, lighter and       // unchangeable alternative implementation.      AttributeSet copy = a.copyAttributes();            // The two spaces are required because some special elements like HR      // must be broken. At least two characters are needed to break into the      // two parts.      DefaultStyledDocument.ElementSpec spec =        new DefaultStyledDocument.ElementSpec(copy,	DefaultStyledDocument.ElementSpec.ContentType,           new char[] {' ', ' '}, 0, 2 );      parseBuffer.add(spec);    }