private static void appendLookupSettings(StringBuilder builder, Configuration config) {
		int[] intArray = config.idflookup.toArray();
		builder.append('\"').append(intArray[0]);
		for (int i = 1; i < intArray.length; ++i) {
			builder.append(' ').append(intArray[i]);
		}
		builder.append("\" ");
	}
Append configuration IDFLookup hashes to a JSON document in progress
@param builder accumulates the encoded hashes
@param config is the Configuration
Ghidra/Features/BSim/src/main/java/ghidra/features/bsim/query/elastic/ElasticDatabase.java