@Override
	public Set<? extends Option> getSupportedOptions() {
		Option[] options = { new Option() {
			@Override
			public int getArgumentCount() {
				return 1;
			}

			@Override
			public String getDescription() {
				return "the destination directory";
			}

			@Override
			public Kind getKind() {
				return Option.Kind.STANDARD;
			}

			@Override
			public List<String> getNames() {
				return Arrays.asList("-d");
			}

			@Override
			public String getParameters() {
				return "directory";
			}

			@Override
			public boolean process(String option, List<String> arguments) {
				destDir = new File(arguments.get(0));
				return true;
			}

		} };
		return new HashSet<>(Arrays.asList(options));
	}
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