private String arrayToString(int[] values) {
		StringBuilder buf = new StringBuilder();
		for (int value : values) {
			buf.append(Integer.toString(value) + ", ");
		}
		if (values.length > 0) {
			int len = buf.length();
			buf.replace(len - 2, len, "");
		}
		return buf.toString();
	}
Set the table selection to the indicated rows.
@param rows the rows in ascending order that are expected to make up the current selection.
Ghidra/Features/Base/src/test.slow/java/ghidra/app/plugin/core/compositeeditor/AbstractEditorTest.java