private static String convertHTML(EndElementTree tag) {
		if (tag.getName().contentEquals("p")) {
			return "\n";
		}
		return tag.toString();
	}
Converts a html tag

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