{ return ("[NamedStyle: name=" + name + ", attrs=" + attributes.toString() + "]"); }
{ return "NamedStyle:" + getName() + " " + attributes; }
    public String toString()    {      return ("[NamedStyle: name=" + name + ", attrs=" + attributes.toString() + "]");    }      