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