}
public Set<String> getFilesForPermutation(String baseUrl, String moduleName, String permutation) throws ServletException {
String fileName = baseUrl + moduleName + "/" + permutation + PermutationMapLinker.PERMUTATION_FILE_ENDING;
XMLPermutationProvider xmlPermutationProvider = new XMLPermutationProvider();
InputStream inputStream = null;
try {
File file = new File(getServletContext().getRealPath(fileName));
inputStream = new FileInputStream(file);
return xmlPermutationProvider.getPermutationFiles(inputStream);
} catch (XMLPermutationProviderException e) {
log("can not read permutation file");
throw new ServletException("can not read permutation file", e);
} catch (FileNotFoundException e) {
log("can not read permutation file");