@Override
	public void programReady(OpenMode openMode, int currentRevision, TaskMonitor monitor)
			throws IOException, CancelledException {
		// Nothing to do
	}
Constructs a new DBPropertyMapManager
@param handle the database handle
@param changeMgr the change manager
@param addrMap the address map
@param openMode the program open mode.
@param lock the program synchronization lock
@param monitor the task monitor
@throws IOException if an IO error occurs
@throws VersionException if a version error occurs
@throws CancelledException if task is cancelled
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/properties/DBPropertyMapManager.java