protected String dumpAnnotationEntries(final AnnotationEntry[] as)

    {

        final StringBuilder result = new StringBuilder();

        result.append("[");

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

        {

            final AnnotationEntry annotation = as[i];

            result.append(annotation.toShortString());

            if (i + 1 < as.length) {

                result.append(",");

            }

        }

        result.append("]");

        return result.toString();

    }