void tableRecordChanged() {
		rootBufferId = tableRecord.getRootBufferId();
		recordCount = tableRecord.getRecordCount();
		maximumKey = tableRecord.getMaxKey();
		++modCount;
	}
Callback notification indicating that the tableRecord has been
changed by the masterTable.  This method is called via the MasterTable
following an undo or redo.
Ghidra/Framework/DB/src/main/java/db/Table.java