private String getTypeShort(TypeMirror type) {
		switch (type.getKind()) {
			case DECLARED:
				return ((DeclaredType) type).asElement().getSimpleName().toString();
			default:
				return type.toString();
		}
	}
Gets the short type name of the given {@link TypeMirror type}.

@param type The type to get the short type name of.
@return The short type name of the given {@link TypeMirror type}.
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/json/JsonDoclet.java