code: private TagElement setTagValues(TagElement tag, TagKind tagKind, DocTree javadocNode,
        DocTree body) {
      tag.setTagKind(tagKind);
      setPos(javadocNode, tag);
      scan(body, tag);
      return tag;
    }
docs: Updates a tag element with values from the javadoc node.