boolean hasJavadocTag(Element el, DocTree.Kind kind) {
		DocCommentTree tree = docConverter.getJavadocTree(el);
		if (tree == null) {
			return false;
		}

		Optional<?> res = tree.getFullBody()
				.stream()
				.map(DocTree::getKind)
				.filter(kind::equals)
				.findFirst();

		if (res.isPresent()) {
			return true;
		}

		return tree.getBlockTags()
				.stream()
				.map(DocTree::getKind)
				.filter(kind::equals)
				.findFirst()
				.isPresent();
	}
Checks if this element has the provided Javadoc tag

@param el the element
@param kind the tag kind
@return true if this element uses the provided Javadoc tag
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/PythonTypeStubDoclet.java