/*
	public File search4File(String fileName) throws FileNotFoundException	{		// should we use paths?		File t = null;		if (fileName.indexOf('/')!=-1 || fileName.indexOf('\\')!=-1)		{			t = new File(currentDir, fileName);			if (t.exists())				return t;			else				return null;				}				// go and search				Iterator pI = currentPath.iterator();		while (pI.hasNext())		{			String rootPath = (String)pI.next();						// check path			t = new File(rootPath, fileName);			if (t.exists())				return t;							// check all add paths			Iterator aI = addPath.iterator();			while (aI.hasNext())			{				String fullPath = rootPath + File.separator + (String)aI.next();				t = new File(fullPath, fileName);				if (t.exists())					return t;			}		}		 		StringBuffer path = new StringBuffer();		pI = currentPath.iterator();		while (pI.hasNext())		{			path.append(pI.next());			if (pI.hasNext()) path.append(':');		}						StringBuffer addpath = new StringBuffer();		pI = addPath.iterator();		while (pI.hasNext())		{			addpath.append(pI.next());			if (pI.hasNext()) addpath.append(':');		}		// not found		throw new FileNotFoundException("File '"+fileName+"' not found (path: \""+path.toString()+"\", addpath: \""+addpath.toString()+"\").");	}