// Declare an attribute name.
// An attribute name is an object that extends AttributedCharacterIterator.Attribute.
// Author's note: A more appropriate name would be AttributedCharacterIterator.AttributeName
static final AttributedCharacterIterator.Attribute COLOR
    = new AttributedCharacterIterator.Attribute("color") {
    };