public void ReorderHeaderTable() { // Arrays.sort(headerTableAttributes, 0, headerTableCount); int i = 0; foreach (int attr in sortedSet) { headerTableAttributes[i++] = attr; } }