else return null;
return null;
    Resource getResource(String name)    {      File file = new File(dir, name);      if (file.exists() && !file.isDirectory())	return new FileResource(this, name, file);      else	return null;    }