@Override
	public Iterator<String> propertyManagers() {
		lock.acquire();
		try {
			// NOTE: infrequent use expected
			return propertyMapCache.keySet()
					.stream()
					.sorted() // Sort keys in natural order
					.iterator();
		}
		finally {
			lock.release();
		}
	}
Returns the VoidPropertyMap associated with the given name.
@param propertyName the name of the property to retrieve.
@throws TypeMismatchException if a propertyMap named propertyName
exists but is not a VoidPropertyMap.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/properties/DBPropertyMapManager.java