private String convertSnippet(Element el, SnippetTree snippet) {
		// let pygments guess the code type
		TextTree body = snippet.getBody();
		if (body == null) {
			// there are invalid snippet tags in the internal jdk packages
			return "";
		}

		Map<String, String> attributes = getAttributes(el, snippet);
		String lang = attributes.getOrDefault("lang", "guess");
		// any other attributes are not supported
		return new StringBuilder(".. code-block:: ")
				.append(lang)
				.append("\n    :dedent: 4\n\n")
				.append(indent(body))
				.append('\n')
				.toString();
	}
Converts a snippet Javadoc tag

@param snippet the snippet tag
@return the converted tag
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/JavadocConverter.java