public void visitArray(Attribute.Array a) {
            ArrayList<AnnotationValue> vals =
                new ArrayList<AnnotationValue>(a.values.length);
            for (Attribute elem : a.values) {
                vals.add(new AnnotationValueImpl(env, elem, annotation));
            }
            value = vals;
        }