@Override
			public String getDescription() {
				return "the destination directory";
			}
Doclet that outputs javadoc in JSON format (instead of HTML).  Things like Python can then
read in the JSON and easily access all of the javadoc elements.

To run: gradle zipJavadocs
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/json/JsonDoclet.java