String getDeprecatedMessage(Element el) {
		DocCommentTree tree = docConverter.getJavadocTree(el);
		if (tree == null) {
			return null;
		}

		DeprecatedTree deprecatedTag = tree.getBlockTags()
				.stream()
				.filter(tag -> tag.getKind() == DocTree.Kind.DEPRECATED)
				.map(DeprecatedTree.class::cast)
				.findFirst()
				.orElse(null);
		if (deprecatedTag == null) {
			return null;
		}

		String res = getPlainDocString(deprecatedTag.getBody());
		// NOTE: this must be a safe string literal
		return getStringLiteral(res);
	}
Gets an appropriate message to be used in the warnings.deprecated decorator

@param el the deprecated element
@return the deprecation message or null if no deprecation reason is documented
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/PythonTypeStubDoclet.java