void flush() throws IOException {
		for (int i = 0; i < tableRecords.length; i++) {
			DBRecord rec = tableRecords[i].getRecord();
			if (rec.isDirty()) {
				table.putRecord(rec);
			}
		}
	}
Flush all unsaved table changes to the underlying buffer mgr.
This method may only be invoked while a database transaction 
is in progress. 
@throws IOException database IO error
Ghidra/Framework/DB/src/main/java/db/MasterTable.java