public void setOption(String name, Boolean option) {
		ToolOptions opt = tool.getOptions(OPTIONS_TITLE);
		opt.setBoolean(name, option);
	}
Applies highlights to the tainted labels.
Ghidra/Features/DecompilerDependent/src/main/java/ghidra/app/plugin/core/decompiler/taint/TaintProvider.java