new char[] {' '}, 0, 1 );
new char[] {' ', ' '}, 0, 2 );
    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();            // TODO: Figure out why we must always insert this single character      // (otherwise the element does not appear). Either fix or add explaining      // comment or at least report a normal bug.      DefaultStyledDocument.ElementSpec spec;      spec = new DefaultStyledDocument.ElementSpec(copy,	DefaultStyledDocument.ElementSpec.ContentType,         new char[] {' '}, 0, 1 );      parseBuffer.add(spec);    }