code: public Set<String> getResourcePaths(String path) {
  
  		Set<String> result = new HashSet<String>();
  		path = path.replace('/', File.separatorChar);
  		File resource = new File(baseDir, path);
  
  		// If the path is not valid throw an exception
  		String[] resArray = resource.list();
  		if (null == resArray)
  			return result;
  
  		// Make the returned dirs end with '/', to match a servletcontext
  		// behavior.
  		for (int i = 0; i < resArray.length; i++) {
  
  			resArray[i] = path + resArray[i];
  			if (isDirectory(resArray[i]))
  				resArray[i] += '/';
  		}
  		result.addAll(Arrays.asList(resArray));
  
  		return result;
  	}
docs: /*
  (non-Javadoc)
  
  @see javax.servlet.ServletContext#getResourcePaths(java.lang.String)