@Override
	public void renameOverlaySpace(String overlaySpaceName, String newName)
			throws NotFoundException, InvalidNameException, DuplicateNameException, LockException {

		lock.acquire();
		try {
			checkExclusiveAccess();

			AddressSpace space = addressFactory.getAddressSpace(overlaySpaceName);
			if (space == null || !(space instanceof ProgramOverlayAddressSpace os)) {
				throw new NotFoundException("Overlay " + overlaySpaceName + " not found");
			}

			addressFactory.checkValidOverlaySpaceName(newName);

			if (overlaySpaceAdapter.renameOverlaySpace(overlaySpaceName, newName)) {
				os.setName(newName);
				addressFactory.overlaySpaceRenamed(overlaySpaceName, newName, true);
				addrMap.renameOverlaySpace(overlaySpaceName, newName);
				clearCache(true);
				setChanged(ProgramEvent.OVERLAY_SPACE_RENAMED, overlaySpaceName, newName);
				fireEvent(new DomainObjectChangeRecord(DomainObjectEvent.RESTORED));
			}
		}
		catch (IOException e) {
			dbError(e);
		}
		finally {
			lock.release();
		}
	}
Notification that a symbol was added.
@param symbol the symbol that was added.
@param eventType the type of change
@param addr the address of the symbol that added
@param oldValue old value depends on the type of the change
@param newValue old value depends on the type of the change
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/ProgramDB.java