// Check to see if any of the existing attributes in the list have the
// same set of options. If so, then add the values to that attribute.
boolean attributeSeen = false;
for (int i = 0; i < attrs.size(); i++) {
Attribute ea = attrs.get(i);
if (ea.optionsEqual(attr.getOptions()))
{
AttributeBuilder builder = new AttributeBuilder(ea);
builder.addAll(attr);
attrs.set(i, builder.toAttribute());
attributeSeen = true;