public UidManager(FileAttributesStore fa_store,
                   LuceneQueryingDriver driver)
 {
     this.fa_store      = fa_store;
     this.name_resolver = (LuceneNameResolver)driver;
 }
		public UidManager (FileAttributesStore fa_store,
				   LuceneQueryingDriver driver)
		{
			this.fa_store = fa_store;
			this.name_resolver = (LuceneNameResolver) driver;
		}