code: public ElementValuePair[] elementValues() {
          List<Pair<MethodSymbol,Attribute>> vals = annotation.values;
          ElementValuePair res[] = new ElementValuePair[vals.length()];
          int i = 0;
          for (Pair<MethodSymbol,Attribute> val : vals) {
              res[i++] = new ElementValuePairImpl(env, val.fst, val.snd);
          }
          return res;
      }
docs: Returns this annotation's elements and their values.
  Only those explicitly present in the annotation are
  included, not those assuming their default values.
  Returns an empty array if there are none.