void changeTableName(String oldName, String newName) {
		for (int i = 0; i < tableRecords.length; i++) {
			if (oldName.equals(tableRecords[i].getName())) {
				tableRecords[i].setName(newName);
			}
		}
	}
Change the name of a table and its associated indexes.
@param oldName old table name
@param newName new tablename
Ghidra/Framework/DB/src/main/java/db/MasterTable.java