void setHighlightColor(Color c) {
		defaultHighlightColor = c;
	}
A counter to track updates so that clients know when a buffered highlight request is invalid
Ghidra/Features/Decompiler/src/main/java/ghidra/app/decompiler/component/ClangHighlightController.java