public String toDisplay() {
		return Stream.of(sets).map(e -> "[" + e + "]").collect(Collectors.joining());
	}
Convert the vector to a string suitable for display in the UI

@return the string
Ghidra/Debug/TaintAnalysis/src/main/java/ghidra/taint/model/TaintVec.java