this(str);  attribs = new AttributeRange[1]; attribs[0] = new AttributeRange(attributes, 0, str.length());
sci = new StringCharacterIterator(str); attribs = new AttributeRange[0];
AttributedString(String str, Map attributes){  this(str);  attribs = new AttributeRange[1];  attribs[0] = new AttributeRange(attributes, 0, str.length());}