protected String dumpAttributes(final Attribute[] as)

    {

        final StringBuilder result = new StringBuilder();

        result.append("AttributeArray:[");

        for (int i = 0; i < as.length; i++)

        {

            final Attribute attr = as[i];

            result.append(attr.toString());

            if (i + 1 < as.length) {

                result.append(",");

            }

        }

        result.append("]");

        return result.toString();

    }