if (File.separator.length() > 1)
throw new Error("File.separator length is greater than 1");
String realName = name.replace('#', File.separator.charAt(0));
File f = new File(getSourceDirectory() + File.separator + realName);
if (!f.exists()) {
throw new ResourceNotFoundException(
"cannot find mauve resource file" + ": "
+ getSourceDirectory() + File.separator + realName);
}
return f;
}