public void dbMoved(File dir) throws FileNotFoundException {
		synchronized (syncObject) {
			this.dbDir = dir;
			refresh();
		}
	}
Following a move of the database directory,
this method should be invoked if this instance will
continue to be used.
@param dir new database directory
@throws FileNotFoundException if the database directory cannot be found
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/db/PrivateDatabase.java