String pattern = "WebServerResources" + File.separator; int index = path.indexOf(pattern); if(index >= 0) { path = path.substring(index + pattern.length()); }
		private final String webserverResourcesFilter(String path) {			File f = new File(path);			// File in Resources directory			String parent = f.getParent();			if (parent != null && parent.equals("WebServerResources")) {				return flatten(f);			}			// skip the filter			return path;		}