docs: private Attribute readAttribute(final Attribute[] attrs, final String type,
                                      final int off, final int len, final char[] buf, final int codeOff,
                                      final Label[] labels) {
          for (int i = 0; i < attrs.length; ++i) {
              if (attrs[i].type.equals(type)) {
                  return attrs[i].read(this, off, len, buf, codeOff, labels);
              }
          }
          return new Attribute(type).read(this, off, len, null, -1, null);
      }