void find (File dir, FileFilter filter)
	{	if (!directory(dir)) return;
		String list[]=dir.list();
		loop : for (int i=0; i<list.length; i++)
		{	SortFile file=new SortFile(dir,list[i]);
			if (file.isDirectory()) 
			{	Vdir.addElement(file);
				if (Recurse) find(file,filter);
			}
			else 
			{	String filename=file.getName();
				if (!UseCase) filename=filename.toLowerCase();
				char fn[]=filename.toCharArray();
				for (int j=0; j<filter.filterCount(); j++)
				{	if (match(fn,0,filter.filter(j),0))
					{	Stop=!file(file);
						if (Stop) break loop;
						V.addElement(file);
					}
				}
			}
			if (Stop) break;
		}
		parsed(dir);
	}