public synchronized boolean setTableName(String oldName, String newName)
			throws DuplicateNameException {
		if (!tables.containsKey(oldName)) {
			return false;
		}
		checkTransaction();
		if (tables.containsKey(newName)) {
			throw new DuplicateNameException("Table already exists: " + newName);
		}
		Table table = tables.remove(oldName);
		if (table == null) {
			return false;
		}
		masterTable.changeTableName(oldName, newName);
		tables.put(newName, table);
		return true;
	}
Changes the name of an existing table.
@param oldName the old name of the table
@param newName the new name of the table
@throws DuplicateNameException if a table with the new name already exists
@return true if the name was changed successfully
Ghidra/Framework/DB/src/main/java/db/DBHandle.java