public synchronized void removeDataTypeManager(DataTypeManager dataTypeManager) {
		if (dataTypeManagers.contains(dataTypeManager)) {
			dataTypeManager.removeDataTypeManagerListener(listener);
			dataTypeManager.removeInvalidatedListener(listener);
			dataTypeManagers.remove(dataTypeManager);
			markStale();
		}
	}
A class that stores a sorted list of all the {@link DataType} and a list of all the 
{@link CategoryPath} objects in the current data type manager plugin.  This class does its work 
lazily such that no work is done until {@link #getSortedDataTypeList()} is called. Even when that
method is called no work will be done if the state of the data types in the system hasn't 
changed.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/datamgr/archive/DataTypeIndexer.java