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