ourCache.remove(canonicalPath);
String mainClassPath = null;
String outputPath = null;
String targetPlayer = null;
try {
<BUG>final Document document = JDOMUtil.loadDocument(configFile);

final Element rootElement = document.getRootElement();
if (rootElement != null) {</BUG>
final Element fileSpecsElement = rootElement.getChild("file-specs", rootElement.getNamespace());

ourCache.remove(canonicalPath);
String mainClassPath = null;
String outputPath = null;
String targetPlayer = null;
try {
final Element rootElement = JDOMUtil.load(configFile);
final Element fileSpecsElement = rootElement.getChild("file-specs", rootElement.getNamespace());
