DocCommentTree getJavadocTree(Element el) {
		return getDocTrees().getDocCommentTree(el);
	}
Gets the Javadoc tree for the provided element

@param el the element
@return the Javadoc tree
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/JavadocConverter.java