protected void overlaySpaceRenamed(String oldOverlaySpaceName, String newName,
			boolean refreshStatusIfNeeded) {
		OverlayAddressSpace os = super.overlaySpaceRenamed(oldOverlaySpaceName, newName);
		if (!newName.equals(os.getOrderedKey())) {
			hasStaleOverlays = true;
		}
		else if (hasStaleOverlays && refreshStatusIfNeeded) {
			refreshStaleOverlayStatus(); // must check all overlays to determine status
		}
	}
Remove an overlay space.
It may be neccessary to invoke {@link #refreshStaleOverlayStatus()} when an overlay is
removed.
@param name overlay space name
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/ProgramAddressFactory.java