private static String indent(String text) {
		return text.indent(INDENT_WIDTH);
	}
Indent the provided text

@param text the text to indent
@return the indented text
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/JavadocConverter.java