/** Copies this attribute and returns a new copy. */
 public AttributeInfo copy(ConstPool newCp, Map classnames) {
   Copier copier = new Copier(info, constPool, newCp, classnames);
   try {
     copier.annotationArray();
     return new AnnotationsAttribute(newCp, getName(), copier.close());
   } catch (Exception e) {
     throw new RuntimeException(e);
   }
 }